Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Subtitle: Joint International Workshop, PAPM-PROBMIV 2001 Aachen, Germany, September 12-14, 2001 Proceedings
By: edited by Luca Alfaro, Stephen Gilmore
Contributors: Gilmore, Stephen
Series: Lecture Notes in Computer Science -- 2165; Lecture notes in computer science -- 2165.
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2001
Place of publication: Berlin, Heidelberg
Language: eng
Format: [Elektronische Ressource] :
ISBN-13: 9783540448044
Subjects: Logic design; Computer system performance; Computer science; Software engineering; Computer Science