Author

Ed Brinksma

5 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

5 books
Protocol specification, testing, and verification, IX

Protocol specification, testing, and verification, IX

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

Computer aided verification

Year unknown
Lectures on Formal Methods and Pe...

Lectures on Formal Methods and Performance Analysis

Year unknown Ed Brinksma, Holger Hermanns, and Joost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.