ISBN 3642043674 books & textbook
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Lecture Notes in Computer Science, 5813)
Ouaknine, Joel Vaandrager, Frits W.
Springer /2009-09-07 Paperback / 301 Pages
isbn-10: 3642043674 / isbn-13: 9783642043673
