ISBN 3319229745 books & textbook
Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Theoretical Computer Science and General Issues)
Sankaranarayanan, Sriram Vicario, Enrico
Springer /2015-08-12 Paperback / 331 Pages
isbn-10: 3319229745 / isbn-13: 9783319229744
