Formal Modeling and Analysis of Timed Systems
Subtitle: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Publisher: Springer
Published: Oct 06, 2011
Format: paperback
Number of pages: 368
ISBN-13: 9783642243110
Notes: Source title: Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings