Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Editor: Larsen, K.G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.


Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1


Brinksma, H. and Larsen, K.G., ed. (2002) Computer Aided Verification. Lecture Notes in Computer Science 2404. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-43997-8


Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0


Baier, C. and Katoen, J.P. and Latella, D. (1998) Metric semantics for true concurrent real time. In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, July 13-17, 1998, Aalborg, Denmark. pp. 568-580. Lecture Notes in Computer Science 1443. Springer Verlag. ISBN 3-540-64781-3


Mader, A.H. (1995) Modal µ-Calculus, Model Checking and Gauß Elimination. In: 1st Int. Workshop Tools and Algorithms for Construction and Analysis of Systems (TACAS), Aarhus, Denmark. pp. 72-88. Springer-Verlag. ISBN 3-540-60630-0

This list was generated on Mon May 29 02:39:25 CEST 2017.