Ed Brinksma

Lectures on Formal Methods and Performance Analysis

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

Protocol specification, testing, and verification, IX