Reference:
Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. In Proceedings of the 1st International Workshop on Bounded Model Checking, volume 89 of ENTCS, Boulder, CO, USA, July 2003.
Suggested BibTeX entry:
@inproceedings{ttj:otf,
address = {Boulder, CO, USA},
author = {Toni Jussila and Keijo Heljanko and Ilkka Niemel\"a},
booktitle = {Proceedings of the 1st International Workshop on Bounded Model Checking},
month = {July},
series = {ENTCS},
title = {{BMC} via On-the-Fly Determinization},
volume = {89},
year = {2003},
}
|