Process Algebra and Probabilistic Methods Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, ... Notes in Computer Science (2165), Band 2165)

von: Luca de Alfaro · Stephen Gilmore Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-42556-4 ISBN-10: 3-540-42556-X Springer · 2009