EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: German, R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2006

Kuntz, G.W.M. and Siegle, M. (2006) CASPA: Symbolic Model Checking of Stochastic Systems. In: Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 465-468. VDE Verlag. ISBN 3-800-72945-8
Martinez Verdugo, J.M. and Haverkort, B.R.H.M. (2006) CSL model checking of deterministic and stochastic Petri nets. In: Proceedings 13th GI/ITG conference on measuring, Modelling and Evaluation of Computer and Communication Systems, March 27-29, 2006, Nuernberg, Germany. pp. 265-282. VDE VERLAG. ISBN 978-3-8007-2945-6

2001

Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. (2001) Implementing a Model Checker for Performability Behaviour. In: Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5), September 15-16, 2001, Erlangen, Germany. pp. 110-114. Arbeitsberichte des IMMD 34 (13). University of Erlangen. ISSN 0344-3515

This list was generated on Fri May 26 01:26:04 CEST 2017.