I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - On the Mechanized Verification of Infinite Systems

Reference:

C. Röckl and J. Esparza. On the mechanized verification of infinite systems. In A. Bode and T. Ludwig, editors, Proc. SFB 342 Final Colloquium, pages 31–52. Technische Universität München, 2000. Published as Technical Report.

Suggested BibTeX entry:

@inproceedings{RE00,
    author = {C. R{\"o}ckl and J. Esparza},
    booktitle = {Proc. SFB 342 Final Colloquium},
    editor = {A. Bode and T. Ludwig},
    note = {Published as Technical Report.},
    pages = {31--52},
    publisher = {Technische Universit{\"a}t München},
    title = {On the Mechanized Verification of Infinite Systems},
    year = {2000}
}

GZipped PostScript (127 kB)
PDF (381 kB)