URI https://d-nb.info/gnd/1343358566
EntitätstypIndividualisierte Person
GND-Nummer1343358566
AffiliationTechnische Universität Dresden 
Akademischer GradDipl.-Math. | Dr.-Ing.
LändercodeDeutschland 
GeschlechtMännlich 
Geburtsdatum1989
GeburtsortZwickau 
TitelangabeProbabilistic model checking for temporal logics in weighted structures
Siehe auchDeutsche Nationalbibliothek (DNB) Deutsche Nationalbibliothek (DNB)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0