Home > Authors > Holger Hermanns

Holger Hermanns

All books by Holger Hermanns

(Displaying 4 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

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Holger Hermanns

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