Logo
Benutzer: Gast  Login
Herausgeber:
Joshi, Kaustubh; Siegle, Markus 
Dokumenttyp:
Konferenzband / Conference Publication 
Titel:
Selected Papers of the 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013) 
Untertitel:
Special Issue of Logical Methods in Computer Science 
Konferenztitel:
International Conference on Quantitative Evaluation of SysTems (10., 2013, Buenos Aires) 
Tagungsort:
Buenos Aires 
Jahr der Konferenz:
2013 
Jahr:
2014 
Sprache:
Englisch 
ISSN:
1860-5974 
Fakultät:
Fakultät für Informatik 
Institut:
INF 3 - Institut für Technische Informatik 
Professur:
Siegle, Markus