@article{93ebf45f19244ef2a0d9f7b6e5355e28,
title = "BMC via on-the-fly Determinization",
keywords = "Bounded Model Checking, Labeled Transition Systems, Verification, Bounded Model Checking, Labeled Transition Systems, Verification, Bounded Model Checking, Labeled Transition Systems, Verification",
author = "Toni Jussila and Keijo Heljanko and Ilkka Niemel{\"a}",
year = "2005",
doi = "10.1007/s10009-004-0178-1",
language = "English",
volume = "7",
pages = "89--101",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
publisher = "Springer",
number = "2",
}