Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop
Workshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001
creator
Alfaro, Luca de ; ed.
Gilmore, Stephen ; jt. ed.
text
New York
Springer-Verlag
2001
monographic
xii, 215p. Bibl. Index.
Ed. by Luca de Alfaro and Stephen Gilmore
"Purchased under NBHM grant for the year 2001-2002"
518.1 W926.PA
Lecture notes in Computer Science 2165
354042556X