TY  - BOOK
AU  - Workshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001
AU  - Alfaro, Luca de ; ed.
AU  - Gilmore, Stephen ; jt. ed.
TI  - Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop
SN  - 354042556X
U1  - 518.1 
PY  - 2001///
CY  - New York
PB  - Springer-Verlag
N1  - "Purchased under NBHM grant for the year 2001-2002"
ER  -