Formal Modeling and Analysis of Timed Systems: 8th

Formal Modeling and Analysis of Timed Systems: 8th Inteational Conference, FORMATS 2010, Klosteeuburg, Austria, September 8-10, 2010, Proceedings .. Computer Science and General Issues)

Hardcover: 257 pages

Publisher: Springer (August 30, 2010)

Language: English

ISBN-10: 3642152961