Informatics Report Series
|
|
|
|
|
|
Title:A Compact Linear Translation for Bounded Model Checking |
Authors:
Paul Jackson
; Daniel Sheridan
|
Date:May 2007 |
Publication Title:Electronic Notes in Theoretical Computer Science |
Publisher:Elsevier |
Publication Type:Journal Article
Publication Status:Published
|
Volume No:174(3)
Page Nos:17-30
|
DOI:10.1016/j.entcs.2006.12.020
ISBN/ISSN:15710661
|
- Links To Paper
- 1st link
- 2nd link
- Bibtex format
- @Article{EDI-INF-RR-0694,
- author = {
Paul Jackson
and Daniel Sheridan
},
- title = {A Compact Linear Translation for Bounded Model Checking},
- journal = {Electronic Notes in Theoretical Computer Science},
- publisher = {Elsevier},
- year = 2007,
- month = {May},
- volume = {174(3)},
- pages = {17-30},
- doi = {10.1016/j.entcs.2006.12.020},
- url = {http://dx.doi.org/10.1016/j.entcs.2006.12.020},
- }
|