Widder, Josef
Full name Familienname, Vorname
Widder, Josef
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Konnov, Igor V. ; Veith, Helmut; Widder, Josef | What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms | Inproceedings Konferenzbeitrag | 2016 |
| 2 |  | Konnov, Igor V. ; Widder, Josef ; Spegni, Francesco ; Luca, Spalazzi | Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms | Inproceedings Konferenzbeitrag | 2017 |
Results 1-1 of 1 (Search time: 0.004 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Stoilkovska, Ilina | Modeling and verification of synchronous fault-tolerant distributed algorithms | Thesis Hochschulschrift | 2021 |