×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

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, 16 p. (1997).
MSC:  68T27 03B45
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software