Formal Modeling and Analysis of Timed Systems: 11th

Formal Modeling and Analysis of Timed Systems: 11th Inteational Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings .. Computer Science and General Issues)

Hardcover: 288 pages

Publisher: Springer (August 8, 2013)

Language: English

ISBN-10: 3642402283