EEMCS

Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7

Lohrey, M. and D'Argenio, P.R. and Hermanns, H. (2002) Axiomatising Divergence. In: Automata, Languages and Programming, 29th International Colloquium, ICALP 2002. pp. 585-596. Lecture Notes In Computer Science 2380. Springer Verlag. ISSN 0302-9743 ISBN 3-540-43864-5

Katoen, J.P. and Baier, C. and Latella, D. (2001) Metric semantics for true concurrent real time. Theoretical computer science, 254 (1/2). pp. 501-542. ISSN 0304-3975 *** ISI Impact 0,838 ***

Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1