×

Found 3 Documents (Results 1–3)

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

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
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field