TCS / Research / Publications / BMC via On-the-Fly Determinization
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

BMC via On-the-Fly Determinization

Reference:

Toni Jussila, Keijo Heljanko, and Ilkka Niemelä. BMC via on-the-fly determinization. In Proceedings of the 1st International Workshop on Bounded Model Checking, volume 89 of ENTCS, Boulder, CO, USA, July 2003.

Suggested BibTeX entry:

@inproceedings{ttj:otf,
    address = {Boulder, CO, USA},
    author = {Toni Jussila and Keijo Heljanko and Ilkka Niemel\"a},
    booktitle = {Proceedings of the 1st International Workshop on Bounded Model Checking},
    month = {July},
    series = {ENTCS},
    title = {{BMC} via On-the-Fly Determinization},
    volume = {89},
    year = {2003},
}

PostScript (479 kB)
GZipped PostScript (212 kB)

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.