Home > Authors > Holger Hermanns

Holger Hermanns

All books by Holger Hermanns

(Displaying 3 Books)

Computer Aided Verification

Computer Aided Verification

Werner Damm

Lectures on Formal Methods and Performance Analysis

Lectures on Formal Methods and Performance Analysis

Ed Brinksma

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Holger Hermanns

Looking for another book by Holger Hermanns? Search for the book by title.