E
Ed Brinksma
5 works on record
Works

Protocol specification, testing, and verification, IX
1990

Computer aided verification

Tools and Algorithms for the Construction and Analysis of Systems

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