Ed Brinksma

4 published titles

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-

(Contributor)

1 edition

Protocol test systems IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems

(Contributor)

1 edition

Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures

(Contributor)

1 edition

Computer aided verification : 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

(Contributor)

1 edition