@misc{
    boundsmodels0.9,
    author = "Heljanko, Keijo and Simons, Patrik",
    juforank = "NA",
    title = "boundsmodels 0.9: a bounded {LTL} model checker",
    url = "http://www.tcs.hut.fi/%7Ekepa/tools/boundsmodels/",
    note = "Software",
    keywords = "bounded model checking, logic programming, stable models",
    flags = "SOFTWARE SA-LO-00-02 SA-IN-98-01",
    year = "2001",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland"
}