Cover of Computer Aided Verification: 3rd International Workshop, Cav 92

Mark as

Computer Aided Verification: 3rd International Workshop, Cav 92

by Kim G. Larsen

Buy this book
Add to a list
Review

See on goodreads

More by Kim G. Larsen

A complete protocol verification using revitalized bisimulation

by Kim G. Larsen

A complete protocol verific...
Review
Buy this book More books like A complete protocol verification using revitalized bisimulation

Automata, Languages and Programming

by Gerhard Goos

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

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