Kim G. Larsen profile picture

Kim G. Larsen

Is this your author profile? Create an account to customize it!

Stand Alone

Automata, Languages and Programming
Concur 2001 - Concurrency Theory
CONCUR 2001 - Concurrency Theory
Computer Aided Verification: 3rd International Workshop, Cav 92 : Proceedings (Lecture Notes in Computer Science)
Computer Aided Verification