Kim G. Larsen

No bio available. Add one in Open Library.

Books by Kim G. Larsen (50 max)

+ shelf+ list

complete protocol verification using revitalized bisimulation

1986

Kim G. Larsen

+ shelf+ list

Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science)

1992

Kim G. Larsen

+ shelf+ list

Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings (Lecture Notes in Computer Science)

1998

Kim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis

+ shelf+ list

CONCUR 2001 - Concurrency Theory 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

2003

Kim G. Larsen, Mogens Nielsen

+ shelf+ list

Formal Modeling and Analysis of Timed Systems First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

2004

Kim G. Larsen, Peter Niebert

+ shelf+ list

Models, Mindsets, Meta : The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

2019

Tiziana Margaria, Susanne Graf, Kim G. Larsen