CComputer Aided Verification: 3rd International Workshop, CavComputer Aided Verification: 3rd International Workshop, Cav 92de Kim G. LarsenEdiciones (1)Computer Aided Verification: 3rd International Workshop, Cav 92 (1992)Springer · inglés · ISBN 9780387551791Más obras de Kim G. LarsenAutomata, Languages and ProgrammingModels, Mindsets, Meta : The What, the How, and the Why Not?
AA complete protocol verification using revitalized bisimulatA complete protocol verification using revitalized bisimulation
