Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Implementing a Model Checker for Performability Behaviour
Herausgeber Sammlung:
German, R.; Luethi, J.; Telek, M.
Titel Konferenzpublikation:
Fifth International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS5)
Reihentitel:
Universität Erlangen-Nürnberg, Arbeitsberichte des Instituts für Informatik
Bandnummer Reihe:
Band 34 Nummer 13
Konferenztitel:
International Workshop on Performability Modeling of Computer and Communication Systems (5., 2001, Erlangen)
Tagungsort:
Erlangen
Jahr der Konferenz:
2001
Jahr:
2001
Seiten von - bis:
110-115
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
Open Access ja oder nein?:
Nein / No
BibTeX