EEMCS

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

EEMCS EPrints Service


Editor: Fribourg, L.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2013

Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence Reduction for Markov Automata. In: Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 29-31 Aug 2013, Buenos Aires, Argentina. pp. 243-257. Lecture Notes in Computer Science 8053. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40228-9

This list was generated on Mon May 29 00:31:46 CEST 2017.