Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Folgender Titel konnte gefunden werden
Autor(en)
Hermanns, Holger
Artikel
PRISM: A Tool for Automatic Verification of Probabilistic Systems
Titel
Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, V
Seiten
441-444
Verlag
Springer-Verlag GmbH
Ort
Berlin Heidelberg
Erscheinungsjahr
2006
Identifikatoren
ISSN: 0302-9743; eISSN: 1611-3349; ISBN: 9783540330561; eISBN: 9783540330578
Volltextzugriff (PDF)