×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [e ht slide]
Home >
e ht slide
Concur 2001 August 21, 2001 Performance Evaluation := (Process Algebra + Model Checking) x Markov Chains Holger Hermanns and Joost-Pieter Katoen with.
212 views