Kim G. LarsenBooksAutomata, Languages and ProgrammingFormal Modeling and Analysis of Timed SystemsA complete protocol verification using revitalized bisimulationCONCUR 2001 - Concurrency TheoryModels, Mindsets, Meta : The What, the How, and the Why Not?Computer Aided Verification: 3rd International Workshop, Cav 92Author data: Open Library
