Process algebra and probabilistic methods performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /
|aProcess algebra and probabilistic methods|h[electronic resource] :|bperformance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings /|cLuca de Alfaro, Stephen Gilmore (eds.).
260
|aBerlin ;|aNew York :|bSpringer-Verlag,|cc2001.
300
|axii, 215 p. :|bill., digital ;|c24 cm.
440
0
|aLecture notes in computer science,|x0302-9743 ;|v2165