Models, Mindsets, Meta : The What, the How, and the Why Not?Tiziana Margaria, Susanne Graf, Kim G. Larsen · First published 2019Open the Tome
Formal Modeling and Analysis of Timed SystemsKim G. Larsen, Peter Niebert · First published 2004Open the Tome
Automata, Languages and ProgrammingKim G. Larsen, Sven Skyum, Glynn Winskel, Gerhard Goos, Juris Hartmanis · First published 1998Open the Tome
Computer Aided Verification: 3rd International Workshop, Cav 92Kim G. Larsen · First published 1992Open the Tome
A complete protocol verification using revitalized bisimulationKim G. Larsen · First published 1986Open the Tome
