Lectures on Formal Methods and Performance AnalysisEd Brinksma, Holger Hermanns, Joost-Pieter Katoen · First published 2001Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsEd Brinksma · First published 1995 · Latest edition 1997Open the Tome
Protocol specification, testing, and verification, IXIFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (9th 1989 Enschede, Pays-Bas), Ed Brinksma, Giuseppe Scollo · First published 1989Open the Tome
