ISBN 3540606300 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019)
Brinksma, Ed Cleaveland, W. Rance Larsen, Kim G. Margaria, Tiziana Steffen, Bernhard
Springer /1995-11-23 Paperback / 305 Pages
isbn-10: 3540606300 / isbn-13: 9783540606307
