Clicky

Formal Modeling and Analysis of Timed Systems by Kim G. Larsen and similar books you'll love - Bookscovery

Home > Authors > Kim G. Larsen > Formal Modeling and Analysis of Timed Systems

Buy at: Bookshop.org Amazon

Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert

Recent activity

Rate this book to see your activity here.

5 Books Similar to Formal Modeling and Analysis of Timed Systems by Kim G. Larsen

Bookscovery readers who liked Formal Modeling and Analysis of Timed Systems also like A complete protocol verification using revitalized bisimulation, Automata, Languages and Programming and Computer Aided Verification: 3rd International Workshop, Cav 92. 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

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

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 Formal Modeling and Analysis of Timed Systems

Please sign in to leave a comment