ISBN 9783642152962 books & textbook
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Lecture Notes in Computer Science, 6246)
Chatterjee, Krishnendu Henzinger, Thomas A.
Springer /2010-08-30 Paperback / 267 Pages
isbn-10: 3642152961 / isbn-13: 9783642152962
