Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

By Thomas A. Henzinger, Krishnendu Chatterjee, Krishnendu Chatterjee Thomas A. Henzinger

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3642152961
• ISBN13: 9783642152962
• Release Date: August 2010
• Publisher: Springer
• Length: 257 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.6" x 6.1" x 9.1"