Formal Modeling and Analysis of Timed Systems - Info and Reading Options
8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
By Krishnendu Chatterjee and Thomas A. Henzinger
"Formal Modeling and Analysis of Timed Systems" was published by Springer London, Limited in 2010 and the language of the book is English.
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Authors: Krishnendu ChatterjeeThomas A. Henzinger
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2010
Edition Specifications:
- Pagination: x, 257
Edition Identifiers:
- The Open Library ID: OL37140541M - OL20773051W
- ISBN-13: 9783642152979
- All ISBNs: 9783642152979
AI-generated Review of “Formal Modeling and Analysis of Timed Systems”:
Read “Formal Modeling and Analysis of Timed Systems”:
Read “Formal Modeling and Analysis of Timed Systems” by choosing from the options below.
Search for “Formal Modeling and Analysis of Timed Systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Modeling and Analysis of Timed Systems” in Libraries Near You:
Read or borrow “Formal Modeling and Analysis of Timed Systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Modeling and Analysis of Timed Systems” at a library near you.
Buy “Formal Modeling and Analysis of Timed Systems” online:
Shop for “Formal Modeling and Analysis of Timed Systems” on popular online marketplaces.
- Ebay: New and used books.