@misc{
    punroll0.3,
    author = "Heljanko, Keijo",
    juforank = "NA",
    title = "punroll 0.3: a bounded reachability checker",
    url = "http://www.tcs.hut.fi/%7Ekepa/tools/punroll/",
    note = "Software",
    keywords = "bounded model checking, process semantics, reachability, {Petri} nets",
    flags = "SOFTWARE SA-LO-00-02 SA-IN-98-01",
    year = "2001",
    howpublished = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland"
}