Ed Brinksma profile picture

Ed Brinksma

Is this your author profile? Create an account to customize it!

Stand Alone

Computer aided verification
Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas "95, Aarhus, Denmark, May 19-20, 1995: Selected Papers (Lecture Notes in Computer Science)
Protocol specification, testing, and verification, IX: proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989
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)
Computer Aided Verification