Login
Editors:
Joshi, Kaustubh; Siegle, Markus
Document type:
Konferenzband / Conference Publication
Title:
Selected Papers of the 10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)
Subtitle:
Special Issue of Logical Methods in Computer Science
Conference title:
International Conference on Quantitative Evaluation of SysTems (10., 2013, Buenos Aires)
Venue:
Buenos Aires
Year of conference:
2013
Year:
2014
Language:
Englisch
ISSN:
1860-5974
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
BibTeX