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

AUTHORS:

URL:
http://www.tcs.hut.fi/~ini/papers/

AUTHORS:

URL: http://www.tcs.hut.fi/~ini/papers/

URL:
http://www.tcs.hut.fi/~ini/papers/