@inproceedings{
    ttj:otf,
    author = {Jussila, Toni and Heljanko, Keijo and Niemel\"a, Ilkka},
    ps = "otf.ps",
    optnumber = "4",
    title = "{BMC} via On-the-Fly Determinization",
    series = "ENTCS",
    booktitle = "Proceedings of the 1st International Workshop on Bounded Model Checking",
    address = "Boulder, CO, USA",
    optnote = "",
    optpublisher = "",
    month = "July",
    volume = "89",
    optpages = "",
    optannote = "",
    flags = "public SA-53695",
    optorganization = "",
    optkey = "",
    year = "2003",
    optcrossref = "",
    opteditor = ""
}