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


Filter:
Author:  Gmeiner, Annu
Subject:  Formal verification

Results 1-1 of 1 (Search time: 0.002 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