Ed Brinksma
Author detail
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryCA
Computer aided verification
cover - Image source: Open LibraryTA
Tools and Algorithms for the Construction and Analysis of Systems
cover - Image source: Open LibraryTA
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
cover - Image source: Open LibraryPS
Protocol specification, testing, and verification, IX
cover - LOLectures on Formal Methods and...Ed Brinksma
Lectures on Formal Methods and Performance Analysis
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Computer aided verification
- Open Work
Tools and Algorithms for the Construction and Analysis of Systems
- Open Work
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
- Open Work
Protocol specification, testing, and verification, IX
- Open Work
Lectures on Formal Methods and Performance Analysis