Kim G. Larsen · 6 obras en el catálogoObrasAutomata, Languages and ProgrammingModels, Mindsets, Meta : The What, the How, and the Why Not?FFormal Modeling and Analysis of Timed SystemsFormal Modeling and Analysis of Timed SystemsCCONCUR 2001 - Concurrency TheoryCONCUR 2001 - Concurrency TheoryAA complete protocol verification using revitalized bisimulatA complete protocol verification using revitalized bisimulationCComputer Aided Verification: 3rd International Workshop, CavComputer Aided Verification: 3rd International Workshop, Cav 92
AA complete protocol verification using revitalized bisimulatA complete protocol verification using revitalized bisimulation
CComputer Aided Verification: 3rd International Workshop, CavComputer Aided Verification: 3rd International Workshop, Cav 92
