Formal Modeling and Analysis of Timed Systems by ‎Stavros Tripakis | Menrva Books | MenrvaBooks

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

Formal Modeling and Analysis of Timed Systems by ‎Stavros Tripakis | Menrva Books | MenrvaBooks

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

‎Stavros Tripakis

Uli Fahrenberg

0

0

Author Description

Page Count:
368

Publication Date:
2011-09-29

ISBN-10:
3642243118

ISBN-13:
9783642243110

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!