00909nam a2200229Ia 4500 354042556X 518.1 W926.PA Workshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001 Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop. Ed. by Luca de Alfaro and Stephen Gilmore New York Springer-Verlag 2001 xii, 215p. Bibl. Index. Lecture notes in Computer Science 2165 "Purchased under NBHM grant for the year 2001-2002" Alfaro, Luca de ; ed. Gilmore, Stephen ; jt. ed. Germany Sept.12-14,2001 0 0 0 0 ISI ISI 2001-11-02 RABA 144540.00 0 518.1 W926.PA DP25002 2019-02-14 00:00:00 2019-02-14 BK Ord num:6146; Ord dt:2001-10-19 21189 21189 21189