EEMCS

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

EEMCS EPrints Service


Editor: D'Argenio, P.R.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2013

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2013) Automated rare event simulation for stochastic Petri nets. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, 27-30 August 2013, Buenos Aires, Argentina. pp. 372-388. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 27-30 Aug 2013, Buenos Aires, Argentina. pp. 55-71. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4

This list was generated on Mon May 29 00:06:15 CEST 2017.