Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
Implementing a Model Checker for Performability Behaviour
Collection editors:
German, R.; Luethi, J.; Telek, M.
Title of conference publication:
Fifth International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS5)
Series title:
Universität Erlangen-Nürnberg, Arbeitsberichte des Instituts für Informatik
Series volume:
Band 34 Nummer 13
Conference title:
International Workshop on Performability Modeling of Computer and Communication Systems (5., 2001, Erlangen)
Venue:
Erlangen
Year of conference:
2001
Year:
2001
Pages from - to:
110-115
Language:
Englisch
Department:
Fakultät für Informatik
Institute:
INF 3 - Institut für Technische Informatik
Chair:
Siegle, Markus
Open Access yes or no?:
Nein / No
BibTeX