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 |