Burkart, Olaf; Esparza, Javier More infinite results. (English) Zbl 1049.68093 Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992–2000. Singapore: World Scientific (ISBN 981-02-4473-8). 480-503 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{O. Burkart} and \textit{J. Esparza}, in: Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992--2000. Singapore: World Scientific. 480--503 (2001; Zbl 1049.68093)
Burkart, Olaf; Esparza, Javier More infinite results. (English) Zbl 0943.68062 Steffen, B. (ed.) et al., Verification of infinite state systems, Infinity ’96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30-31, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 5, 20 p. (1997). MSC: 68Q10 PDFBibTeX XMLCite \textit{O. Burkart} and \textit{J. Esparza}, in: Verification of infinite state systems, Infinity '96. Selected papers from the 1st international workshop, Univ. of Pisa, Italy, August 30--31, 1996. Amsterdam: Elsevier. 20 p. (1997; Zbl 0943.68062) Full Text: Link
Burkart, Olaf; Esparza, Javier More infinite results. (English) Zbl 0887.68035 Bull. EATCS 62, 138-159 (1997). MSC: 68Q10 PDFBibTeX XMLCite \textit{O. Burkart} and \textit{J. Esparza}, Bull. EATCS 62, 138--159 (1997; Zbl 0887.68035)