EEMCS

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

EEMCS EPrints Service


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

Number of items: 5.

2007

Blom, S.C.C. and Calamé, J.R. and Lisser, B. and Orzan, S. and Pang, J. and van de Pol, J.C. and Torabi Dashti, M. and Wijs, A.J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: Tools and Algorithms for the Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 683-689. Lecture Notes in Computer Science 4424. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-71208-4
Han, Tingting and Katoen, J.P. (2007) Counterexamples in probabilistic model checking. In: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 72-86. Lecture Notes in Computer Science 4424. Springer Verlag. ISBN 978-3-540-71208-4
Zhang, Lijun and Hermanns, H. and Eisenbrand, F. and Jansen, D.N. (2007) Flow faster: efficient decision algorithms for probabilistic simulations. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal. pp. 155-169. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4
Katoen, J.P. and Kemna, T. and Zapreev, I.S. and Jansen, D.N. (2007) Bisimulation minimisation mostly speeds up probabilistic model checking. In: Tools and algorithms for the construction and analysis of systems, 24 Mar-1 Apr 2007, Braga, Portugal. pp. 87-101. Lecture notes in computer science 4424. Springer. ISBN 978-3-540-71208-4

1999

D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (1999) On Generative Parallel Composition. In: PROBMIV'98, First International Workshop on Probabilistic Methods in Verification, 19 - 20 June 1998, Indianapolis, Indiana. pp. 30-54. Electronic Notes in Theoretical Computer Science 22. Elsevier. ISSN 1571-0661

This list was generated on Mon Apr 24 01:40:23 CEST 2017.