Reference:

J. Esparza and K. Heljanko. A new unfolding approach to LTL model checking. In U. Montanari, J. D. P. Rolim, and E. Welzl, editors, Proceedings of the 27th International Conference on Automata, Languages, and Programming, number 1853 in Lecture Notes in Computer Science, pages 475–486. Springer-Verlag, July 2000.

Suggested BibTeX entry:

@inproceedings{EH00,
    author = {J. Esparza and K. Heljanko},
    booktitle = {{Proceedings of the 27th~International Conference on Automata, Languages, and Programming}},
    editor = {U. Montanari and J. D. P. Rolim and E. Welzl},
    month = {July},
    number = {1853},
    pages = {475--486},
    publisher = {{Springer-Verlag}},
    series = {{Lecture Notes in Computer Science}},
    title = {A New Unfolding Approach to {LTL} Model Checking},
    year = {2000}
}