Clicky

Process Algebra and Probabilistic Methods : Performance Modeling and Verification by Holger Hermanns and similar books you'll love - Bookscovery

Home > Authors > Holger Hermanns > Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Holger Hermanns, Roberto Segala

Recent activity

Rate this book to see your activity here.

5 Books Similar to Process Algebra and Probabilistic Methods : Performance Modeling and Verification by Holger Hermanns

Bookscovery readers who liked Process Algebra and Probabilistic Methods : Performance Modeling and Verification also like Computer Aided Verification, Lectures on Formal Methods and Performance Analysis and Tools and Algorithms for the Construction and Analysis of Systems. How many of these have you read?

Comments and reviews of Process Algebra and Probabilistic Methods : Performance Modeling and Verification

Please sign in to leave a comment