EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Larsen, K.G.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 5.

2003

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

2002

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

2001

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

1998

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

1995

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 Thu May 24 07:03:01 CEST 2012.