Clicky

A complete protocol verification using revitalized bisimulation by Kim G. Larsen and similar books you'll love - Bookscovery

Home > Authors > Kim G. Larsen > A complete protocol verification using revitalized bisimulation

Buy at: Bookshop.org Amazon

A complete protocol verification using revitalized bisimulation

Kim G. Larsen

Recent activity

Rate this book to see your activity here.

5 Books Similar to A complete protocol verification using revitalized bisimulation by Kim G. Larsen

Bookscovery readers who liked A complete protocol verification using revitalized bisimulation also like Automata, Languages and Programming, Computer Aided Verification: 3rd International Workshop, Cav 92 and CONCUR 2001 - Concurrency Theory. How many of these have you read?

Automata, Languages and Programming by Kim G. Larsen

Cover of Automata, Languages and Programming
Buy this book at:
Bookshop.org Amazon

Computer Aided Verification: 3rd International Workshop, Cav 92 by Kim G. Larsen

Cover of Computer Aided Verification: 3rd International Workshop, Cav 92
Buy this book at:
Bookshop.org Amazon

CONCUR 2001 - Concurrency Theory by Kim G. Larsen

Cover of CONCUR 2001 - Concurrency Theory
Buy this book at:
Bookshop.org Amazon

Formal Modeling and Analysis of Timed Systems by Kim G. Larsen

Cover of Formal Modeling and Analysis of Timed Systems
Buy this book at:
Bookshop.org Amazon

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

Cover of Models, Mindsets, Meta : The What, the How, and the Why Not?
Buy this book at:
Bookshop.org Amazon

Comments and reviews of A complete protocol verification using revitalized bisimulation

Please sign in to leave a comment