Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ; Stephen Gilmore (ed.). - Berlin : Springer, 2001. - XII, 215 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2165)
ISBN 978-3-540-42556-4 / 3-540-42556-X kart. : DM 70.62
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. L. de Alfaro ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2165)
ISBN 978-3-540-44804-4
Lizenzpflichtig
Quelle: DNB
