Formal Methods
Book title Buchtitel
Formal Methods
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | HyperProb: A Model Checker for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2021 |