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

Holger Hermanns, Joost-Pieter Katoen

Browse the full CONCUR paper archive.