Media type: Book; Conference Proceedings Title: Process algebra and probabilistic methods : performance modeling and verification ; joint international workshop ; proceedings Contributor: Alfaro, Luca de [Other]; DeAlfaro, Luca [Editor] Event: PAPM PROBMIV Published: Berlin; Heidelberg [u.a.]: Springer-Verlag, 2001 Published in: Lecture notes in computer science ; 2165 Extent: XII, 215 S.; graph. Darst; 24 cm Language: English ISBN: 354042556X RVK notation: SS 4800 : Lecture notes in computer science Keywords: Verifikation > Model Checking > Prozessalgebra > Stochastischer Prozess Stochastisches System > Prozessalgebra > Verifikation > Leistungsbewertung Origination: Footnote: Includes bibliographical references and index
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5303 Item ID: 30083206 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order