Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

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
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
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 = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh