Home › Authors › Kim G. Larsen 👤 Kim G. Larsen 4 books Books by Kim G. Larsen Models, Mindsets, Meta : The What, the How, and the Why Not? 2019 CONCUR 2001 - Concurrency Theory 2003 Computer Aided Verification: 3 Computer Aided Verification: 3rd International Workshop, Cav 92 1992 A complete protocol verificati A complete protocol verification using revitalized bisimulation 1986