Full name Familienname, Vorname
Veith, Helmut
 
Main Affiliation Organisations­zuordnung
 

Filter:
Author:  Gmeiner, Annu

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

PreviewAuthor(s)TitleTypeIssue Date
1Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
2John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Brief announcementKonferenzbeitrag Inproceedings 2013
3John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized model checking of fault-tolerant distributed algorithms by abstractionKonferenzbeitrag Inproceedings 2013
4John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Towards Modeling and Model Checking Fault-Tolerant Distributed AlgorithmsKonferenzbeitrag Inproceedings 2013
5John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Counter Attack against Byzantine GeneralsPräsentation Presentation2012
6John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Who is afraid of Model Checking Distributed Algorithms?Präsentation Presentation2012
7John, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Parameterized Model Checking of Fault-tolerant Distributed AlgorithmsPräsentation Presentation2012

Filter:
Author:  Gmeiner, Annu

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gmeiner Annu - 2015 - Parameterized model checking of fault-tolerant distributed...pdf.jpgGmeiner, Annu Parameterized model checking of fault-tolerant distributed algorithmsThesis Hochschulschrift 2015