@inproceedings{
    EspHel:SPIN2001,
    editor = "Dwyer, Matthew B.",
    author = "Esparza, Javier and Heljanko, Keijo",
    publisher = "Springer-Verlag",
    title = "Implementing {LTL} Model Checking with Net Unfoldings",
    url = "http://users.ics.tkk.fi/kepa/publications/",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 8th International {SPIN} Workshop on Model Checking of Software ({SPIN}'2001)",
    address = "Toronto, Canada",
    abstract = "We report on an implementation of the unfolding approach to model-checking LTL-X recently presented by the authors. Contrary to that work, we consider an state-based version of LTL-X, which is more used in practice. We improve on the checking algorithm; the new version allows to reuse code much more efficiently. We present results on a set of case studies.",
    month = "May",
    volume = "2057",
    juforank = "1",
    flags = "SA-LO-00-02 SA-IN-98-01",
    year = "2001",
    keywords = "net unfoldings, model checking, tableau systems, LTL, Petri nets",
    pages = "37--56"
}