Home > Authors > Holger Hermanns

Holger Hermanns

All books by Holger Hermanns

(Displaying 2 Books)

Computer Aided Verification

Computer Aided Verification

Werner Damm

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.