Cover of A complete protocol verification using revitalized bisimulation

Mark as

A complete protocol verification using revitalized bisimulation

by Kim G. Larsen

Buy this book
Add to a list
Review

More by Kim G. Larsen

Automata, Languages and Programming

by Gerhard Goos

Cover of Automata, Languages and Programming
Review
Buy this book More books like Automata, Languages and Programming

Computer Aided Verification: 3rd International Workshop, Cav 92

by Kim G. Larsen

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92
Review
Buy this book More books like Computer Aided Verification: 3rd International Workshop, Cav 92

CONCUR 2001 - Concurrency Theory

by Mogens Nielsen

Cover of CONCUR 2001 - Concurrency Theory
Review
Buy this book More books like CONCUR 2001 - Concurrency Theory

Formal Modeling and Analysis of Timed Systems

by Peter Niebert

Cover of Formal Modeling and Analysis of Timed Systems
Review
Buy this book More books like Formal Modeling and Analysis of Timed Systems

Models, Mindsets, Meta : The What, the How, and the Why Not?

by Kim G. Larsen

Cover of Models, Mindsets, Meta : The What, the How, and the Why Not?
Review
Buy this book More books like Models, Mindsets, Meta : The What, the How, and the Why Not?

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment