Reference:

J. Esparza and C. Schröter. Net reductions for LTL model-checking. In Proc. of 11th CHARME, volume 2144 of Lecture Notes in Computer Science, pages 310–324, Livingston, Scotland, 2001.

Suggested BibTeX entry:

@inproceedings{ES01a,
    address = {Livingston, Scotland},
    author = {J. Esparza and C. Schr{\"o}ter},
    booktitle = {Proc. of 11th CHARME},
    pages = {{310--324}},
    series = {Lecture Notes in Computer Science},
    title = {Net Reductions for {LTL} Model-Checking},
    volume = {2144},
    year = {2001}
}