ISBN 3540216715 books & textbook

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science, 2791)

Larsen, Kim G. Niebert, Peter

Springer /2004-04-08 Paperback / 289 Pages
isbn-10: 3540216715 / isbn-13: 9783540216711