Reference:

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:

@inproceedings{EspHel:SPIN2001,
    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}
}