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}
}