Process Algebra and Probabilistic Methods : Performance Modeling and Verification
de Holger Hermanns, Roberto Segala
Ediciones (1)
- Process Algebra and Probabilistic Methods : Performance Modeling and Verification (2003)
Springer London, Limited · inglés · ISBN 9783540456056
