Eintrag weiter verarbeiten
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Personen und Körperschaften: | , , , , , , , , |
---|---|
Titel: | Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code |
Format: | E-Book |
veröffentlicht: |
Dresden
Technische Universität Dresden
2012
Online-Ausg.. 2013 |
Gesamtaufnahme: | ; Franck Cassez, Ralf Huuck, Gerwin Klein and Bastian Schlich (Hrsg.): Proceedings Seventh Conference on Systems Software Verification (SSV 2012), Sydney, Australia, 28-30 November 2012, Electronic Proceedings in Theoretical Computer Science 102, S.. 156–166 |
Schlagwörter: |