ISBN 354085777X books & textbook
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science, 5215)
Springer /2008-09-05 Paperback / 305 Pages
isbn-10: 354085777X / isbn-13: 9783540857778