@article{23e74c96be414d0c8ffc3707831768e8,
title = "BMC via on-the-fly Determinization",
keywords = "bounded model checking, verification, bounded model checking, verification, bounded model checking, verification",
author = "Toni Jussila and Keijo Heljanko and Ilkka Niemel{\"a}",
year = "2003",
doi = "10.1016/S1571-0661(05)82543-5",
language = "English",
volume = "89",
pages = "561--577",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "4",
}