1.
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, ...
by Sankaranarayanan, Sriram, V...
ISBN: 9783319229744
List Price: $84.00
2.
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe...
by Sankaranarayanan, Sriram, S...
ISBN: 9783031308222
List Price: $49.99
3.
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Confe...
by Sankaranarayanan, Sriram, S...
ISBN: 9783031308192
List Price: $49.99