Ed Brinksma
Ed Brinksma
4 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Ed Brinksma מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
