Ed Brinksma

No bio available. Add one in Open Library.

Books by Ed Brinksma (50 max)

+ shelf+ list

Protocol Specification, Testing, and Verification, IX (I F I P W G 61 International Workshop on Protocol Specification, Testing, and Verification//Protocol Specification, Testing, and Verification)

1990

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas), Ed Brinksma, Giuseppe Scollo

+ shelf+ list

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, 1019)

1995

Ed Brinksma

+ shelf+ list

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)

2002

Ed Brinksma

+ shelf+ list

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)

1997

Ed Brinksma

+ shelf+ list

Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures

2003

Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen