DiPro
A Tool for Probabilistic Counterexample Generation
Aljazzar, Husain ; Leitner-Fischer, Florian ; Leue, Stefan ; Simeonov, Dimitar 2011 Bibliothek der Universität Konstanz
- Link zu diesem Datensatz
-
https://d-nb.info/1104942682
- Titel
-
DiPro : A Tool for Probabilistic Counterexample Generation
- Art des Inhalts
- Monographie
- Verfassangaben
- Husain Aljazzar ; Florian Leitner-Fischer ; Stefan Leue ; Dimitar Simeonov
- Autor(en)
-
- Aljazzar, Husain
- Leitner-Fischer, Florian
- Leue, Stefan
- Simeonov, Dimitar
- Verlag
- Konstanz : Bibliothek der Universität Konstanz [2011]
- Jahr
- Erscheinungsdatum: 2011
- Umfang/Format
- Online-Ressource
- Online
- https://nbn-resolving.org/urn:nbn:de:bsz:352-147805
- Sprache
- eng
- Schlagwörter
-
- Anmerkungen
-
In: Model Checking Software / Groce, Alex; Musuvathi, Madanlal (Hrsg.). - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - (Lecture Notes in Computer Science ; 6823). - S. 183-187. - ISBN 978-3-642-22305-1
- Stand
- 02.12.2025 12:59
- Im Katalog seit
- 06.03.2026
Beschreibung vom Verlag
