Clicky

Computer Aided Verification: 3rd International Workshop, Cav 92 by Kim G. Larsen and similar books you'll love - Bookscovery

Home > Authors > Kim G. Larsen > Computer Aided Verification: 3rd International Workshop, Cav 92

Buy at: Bookshop.org Amazon

Computer Aided Verification: 3rd International Workshop, Cav 92

Kim G. Larsen

See on goodreads

Recent activity

Rate this book to see your activity here.

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

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

A complete protocol verification using revitalized bisimulation by Kim G. Larsen

Cover of A complete protocol verification using revitalized bisimulation
Buy this book at:
Bookshop.org Amazon

Automata, Languages and Programming by Kim G. Larsen

Cover of Automata, Languages and Programming
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 Computer Aided Verification: 3rd International Workshop, Cav 92

Please sign in to leave a comment