ISBN 9783540657033 books & textbook
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1579)
Springer /1999-03-10 Paperback / 468 Pages
isbn-10: 3540657037 / isbn-13: 9783540657033
