Ed Brinksma
Ed Brinksma
4 books in the database
Books
Computer aided verificationEd Brinksma
Computer aided verification
Ed Brinksma · 2002
Tools and Algorithms for the Construction and Analysis of SystemsEd Brinksma
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma · 1997
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
Ed Brinksma · 1995
Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
Ed Brinksma · 2003
Co-authored books and collections
Books that list Ed Brinksma among their authors but not as the lead author: co-written works, collections and compilations.
