Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:20:27 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||