General ComputingFormal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Item 1 of 1
Item 1 of 1
SKU 9783642402289Publishing Ref 9783642402289
Springer
Formal Modeling and Analysis of Timed Systems : 11th International Conference