Luận văn: | Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01 |
Nhà xuất bản: | ĐHCN |
Ngày: | 2014 |
Miêu tả: | 45 p. + CD-ROM M.A Thesis. Computer Science -- University of Engineering and Technology. Vietnam National University, Hanoi, 2014 Electronic Resources |
Kiểu: | text |
Định dạng: | text/pdf |
You must be registered for see links