×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 196-215 (2008).
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification
Software