Browsing

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