Sciweavers

Share
CONCUR
2001
Springer

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

9 years 11 months ago
Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains
Holger Hermanns, Joost-Pieter Katoen
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where CONCUR
Authors Holger Hermanns, Joost-Pieter Katoen
Comments (0)
books