Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
CASPA: Symbolic model checking of stochastic systems
Title of conference publication:
13th GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB), 2006
Conference title:
GI/ITG Conference Measuring, Modelling and Evaluation of Computer and Communication Systems (13., 2006, Erlangen)
Venue:
Erlangen
Year of conference:
2006
Date of conference beginning:
27.03.2006
Date of conference ending:
29.03.2006
Place of publication:
Nürnberg, Germany
Publisher:
VDE Verlag
Year:
2006
Pages from - to:
469-472
Language:
Englisch
ISBN:
978-3-8007-2945-6
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