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


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:

    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}

GZipped PostScript (177 kB)
PDF (164 kB)