K
Kim G. Larsen
6 works on record
Works

Automata, Languages and Programming

Models, Mindsets, Meta : The What, the How, and the Why Not?
CONCUR 2001 - Concurrency Theory
CONCUR 2001 - Concurrency Theory
Formal Modeling and Analysis of Timed Systems
Formal Modeling and Analysis of Timed Systems
A complete protocol verification using revitalized bisimulation
A complete protocol verification using revitalized bisimulation
Computer Aided Verification: 3rd International Workshop, Cav 92
Computer Aided Verification: 3rd International Workshop, Cav 92