zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Moller, Faron (ed.), Verification of infinite state systems, Infinity ’97. Selected papers from the 2nd international workshop, Bologna, Italy, July 11–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 9, 12 p. (1997).
MSC:  68Q45
BibTeX Cite

Filter Results by …

Document Type