Formal Modeling and Analysis of Timed Systems: 10th Inteational Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings (Lecture .. Computer Science and General Issues)
Hardcover: 277 pages
Publisher: Springer (August 29, 2012)
Language: English
ISBN-10: 3642333648