Ed Brinksma的作品

Cover for Ed Brinksma · Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1997)
Paperback Book
Tools and Algorithms for the Con...
Ed Brinksma
Cover for Ed Brinksma · Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Tacas '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers, Tacas '95, Aarhus, Denmark, May (Paperback Book) (1995)
Paperback Book
Tools and Algorithms for the Con...
Ed Brinksma