I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Implementing LTL Model Checking with Net Unfoldings


J. Esparza and K. Heljanko. Implementing LTL model checking with net unfoldings. In Matthew B. Dwyer, editor, Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'2001), volume 2057 of Lecture Notes in Computer Science, pages 37–56, Toronto, Canada, May 2001. Springer-Verlag.

Suggested BibTeX entry:

    address = {Toronto, Canada},
    author = {J. Esparza and K. Heljanko},
    booktitle = {Proceedings of the 8th International {SPIN} Workshop on Model Checking of Software ({SPIN}'2001)},
    editor = {Matthew B. Dwyer},
    month = {May},
    pages = {37--56},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {Implementing {LTL} Model Checking with Net Unfoldings},
    volume = {2057},
    year = {2001}

Tech report version
This work is not available online here.