×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–3)

Valmari, Antti (ed.), Model checking software. 13th international SPIN workshop, Vienna, Austria, March 30 – April 1, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33102-6/pbk). Lecture Notes in Computer Science 3925, 163-181 (2006).
MSC:  68N30 68Q60
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software