Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Ed Brinksma
Ed Brinksma
All books by Ed Brinksma
(
Displaying 5 Books
)
Computer aided verification
Ed Brinksma
Lectures on Formal Methods and Performance Analysis
Ed Brinksma
Protocol specification, testing, and verification, IX
IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas)
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
Ed Brinksma
Looking for another book by Ed Brinksma?
Search for the book
by title.
