ISBN 9783540425564 books & textbook
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, ... (Lecture Notes in Computer Science, 2165)
Alfaro, Luca de Gilmore, Stephen
Springer /2001-08-29 Paperback / 236 Pages
isbn-10: 354042556X / isbn-13: 9783540425564
