Fair model checking with process counter abstraction
10.1007/978-3-642-05089-3_9
Saved in:
| Main Authors: | , , , , |
|---|---|
| Other Authors: | |
| Format: | Conference or Workshop Item |
| Published: |
2013
|
| Online Access: | http://scholarbank.nus.edu.sg/handle/10635/40025 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | National University of Singapore |
| id |
sg-nus-scholar.10635-40025 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-400252015-01-09T06:45:21Z Fair model checking with process counter abstraction Sun, J. Liu, Y. Roychoudhury, A. Liu, S. Dong, J.S. COMPUTER SCIENCE 10.1007/978-3-642-05089-3_9 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5850 LNCS 123-139 2013-07-04T07:54:58Z 2013-07-04T07:54:58Z 2009 Conference Paper Sun, J.,Liu, Y.,Roychoudhury, A.,Liu, S.,Dong, J.S. (2009). Fair model checking with process counter abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5850 LNCS : 123-139. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-05089-3_9" target="_blank">https://doi.org/10.1007/978-3-642-05089-3_9</a> 3642050883 03029743 http://scholarbank.nus.edu.sg/handle/10635/40025 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| country |
Singapore |
| collection |
ScholarBank@NUS |
| description |
10.1007/978-3-642-05089-3_9 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Sun, J. Liu, Y. Roychoudhury, A. Liu, S. Dong, J.S. |
| format |
Conference or Workshop Item |
| author |
Sun, J. Liu, Y. Roychoudhury, A. Liu, S. Dong, J.S. |
| spellingShingle |
Sun, J. Liu, Y. Roychoudhury, A. Liu, S. Dong, J.S. Fair model checking with process counter abstraction |
| author_sort |
Sun, J. |
| title |
Fair model checking with process counter abstraction |
| title_short |
Fair model checking with process counter abstraction |
| title_full |
Fair model checking with process counter abstraction |
| title_fullStr |
Fair model checking with process counter abstraction |
| title_full_unstemmed |
Fair model checking with process counter abstraction |
| title_sort |
fair model checking with process counter abstraction |
| publishDate |
2013 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/40025 |
| _version_ |
1681082196856668160 |