Cleaveland, W. Rance 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
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
