Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
CASPA: Symbolic model checking of stochastic systems
Titel Konferenzpublikation:
13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB), 2006
Konferenztitel:
GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems (13., 2006, Erlangen)
Tagungsort:
Erlangen
Jahr der Konferenz:
2006
Datum Beginn der Konferenz:
27.03.2006
Datum Ende der Konferenz:
29.03.2006
Verlagsort:
Nürnberg, Germany
Verlag:
VDE Verlag
Jahr:
2006
Seiten von - bis:
469-472
Sprache:
Englisch
ISBN:
978-3-8007-2945-6
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