EEMCS

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

EEMCS EPrints Service


Editor: Baier, C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2006

Rensink, A. (2006) Model Checking Quantified Computation Tree Logic. In: Concurrency Theory (CONCUR), 27-30 Aug 2006, Bonn, Germany. pp. 110-125. Lecture Notes in Computer Science 4137. Springer-Verlag. ISBN 3-540-37376-4
Baier, C. and Hermanns, H., ed. (2006) CONCUR 2006 [Concurrency Theory, 16th International Conference]. Lecture Notes in Computer Science 4137. Springer Verlag, Berlin. ISBN 3-540-37376-4

2004

Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed. (2004) Validation of Stochastic Systems. Lecture Notes in Computer Science 2925. Springer-Verlag. ISBN 3-540-22265-0

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 Thu Apr 27 21:33:14 CEST 2017.