EEMCS

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

EEMCS EPrints Service


Editor: Koutny, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2012

Timmer, M. and Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. (2012) Efficient Modelling and Generation of Markov Automata. In: Proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, 3-8 Sep 2012, Newcastle upon Tyne, United Kingdom. pp. 364-379. Advanced Research in Computing and Software Science, Lecture Notes in Computer Science (ARCoSS/LNCS) 7454. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-32939-5

This list was generated on Mon May 29 02:24:52 CEST 2017.