Showing 1 - 3 of 3 Results
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