EEMCS

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

EEMCS EPrints Service


Editor: Leino, K.R.M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2011

Timmer, M. and Stoelinga, M.I.A. and van de Pol, J.C. (2011) Confluence Reduction for Probabilistic Systems. In: Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, 26 Mar - 3 Apr 2011, Saarbrücken, Germany. pp. 311-325. Lecture Notes in Computer Science 6605. Springer Verlag. ISBN 978-3-642-19834-2

This list was generated on Fri Apr 28 02:09:28 CEST 2017.