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

Holger Hermanns Joost-Pieter Katoen Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains. 59-81 2001 conf/concur/2001 CONCUR http://link.springer.de/link/service/series/0558/bibs/2154/21540059.htm db/conf/concur/concur2001.html#HermannsK01