Developing model checkers using PAT
10.1007/978-3-642-15643-4_30
Saved in:
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40014 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-40014 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-400142015-02-09T07:52:50Z Developing model checkers using PAT Liu, Y. Sun, J. Dong, J.S. COMPUTER SCIENCE 10.1007/978-3-642-15643-4_30 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6252 LNCS 371-377 2013-07-04T07:54:43Z 2013-07-04T07:54:43Z 2010 Conference Paper Liu, Y.,Sun, J.,Dong, J.S. (2010). Developing model checkers using PAT. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6252 LNCS : 371-377. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-15643-4_30" target="_blank">https://doi.org/10.1007/978-3-642-15643-4_30</a> 3642156428 03029743 http://scholarbank.nus.edu.sg/handle/10635/40014 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
10.1007/978-3-642-15643-4_30 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Liu, Y. Sun, J. Dong, J.S. |
| format |
Conference or Workshop Item |
| author |
Liu, Y. Sun, J. Dong, J.S. |
| spellingShingle |
Liu, Y. Sun, J. Dong, J.S. Developing model checkers using PAT |
| author_sort |
Liu, Y. |
| title |
Developing model checkers using PAT |
| title_short |
Developing model checkers using PAT |
| title_full |
Developing model checkers using PAT |
| title_fullStr |
Developing model checkers using PAT |
| title_full_unstemmed |
Developing model checkers using PAT |
| title_sort |
developing model checkers using pat |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40014 |
| _version_ |
1681082194934628352 |