Computer & TechnologyFormal Modeling and Analysis of Timed Systems : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings
Item 1 of 1
Item 1 of 1
SKU 9783642243097Publishing Ref 9783642243097
Springer
Formal Modeling and Analysis of Timed Systems : 9th International Conference