Widder, Josef

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Widder, Josef
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms.pdf.jpgKonnov, Igor V. ; Veith, Helmut; Widder, Josef What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed AlgorithmsInproceedings Konferenzbeitrag2016
2Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms.pdf.jpgKonnov, Igor V. ; Widder, Josef ; Spegni, Francesco ; Luca, Spalazzi Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed AlgorithmsInproceedings Konferenzbeitrag2017