BMC via On-the-Fly Determinization (2005)
AUTHORS:
Jussila Toni
,
Heljanko Keijo
,
Niemelä Ilkka
JOURNAL:
International Journal on Software Tools for Technology Transfer
VOLUME:
7
PAGES:
89--101
URL:
http://www.tcs.hut.fi/~ini/papers/
@article{ ttj:otfj, author = {Jussila, Toni and Heljanko, Keijo and Niemel\"a, Ilkka}, note = "", optmonth = "", title = "{BMC} via On-the-Fly Determinization", opthowpublished = "", journal = "International Journal on Software Tools for Technology Transfer", number = "2", volume = "7", url = "http://www.tcs.hut.fi/~ini/papers/", flags = "SA-53695, copy", year = "2005", pages = "89--101" }