by Thomas Noll, Bastian Schlich
Reference:
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code (Thomas Noll, Bastian Schlich), In Hardware and Software: Verification and Testing (HVC 2007), Haifa, Israel, Springer, volume 4899, 2008.
Bibtex Entry:
@inproceedings { NS08, author = { Noll, Thomas and Schlich, Bastian }, booktitle = { Hardware and Software: Verification and Testing (HVC 2007), Haifa, Israel }, doi = { 10.1007/978-3-540-77966-7_16 }, isbn = { 978-3-540-77964-3 }, issn = { 0302-9743 }, pages = { 185--201 }, publisher = { Springer }, series = { Lecture Notes in Computer Science }, title = { Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code }, volume = { 4899 }, year = { 2008 }, i11key = { conference }, for_reporting_period = { Old }, }