Reading Length
Home
Speed Tests
Login
Kim G. Larsen
Identifiers
Open Library
OL3301157A
Top Subjects
Logic Design (1)
Mathematics (1)
Congresses (1)
Verification (1)
Computer software (1)
Computer Science (1)
Evaluation (1)
Books by Kim G. Larsen
Total count: 6
A complete protocol verification using revitalized bisimulation
University of Edinburgh, Laboratory for Foundations of Computer Science
1986-01-01
Computer Aided Verification: 3rd International Workshop, Cav 92
Proceedings (Lecture Notes in Computer Science)
Springer
1992-06-01
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Springer London, Limited
2003-01-01
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Springer London, Limited
2003-01-01
Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Springer London, Limited
2004-01-01
Models, Mindsets, Meta : The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Springer
2019-06-26
