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