OtiumSessione
Sessione
Non abbiamo ancora una biografia di Ed Brinksma.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Computer aided verification
2003
Tools and Algorithms for the Construction and Analysis of Systems
1997
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
1995
Protocol specification, testing, and verification, IX
1990
Lectures on Formal Methods and Performance Analysis
2003