@book{21189,
	author = {Workshop on "Process algebra and performance modeling and probabilistic methods in verification (PAPM-PROBMIV)", Aachen, Germany, Sept. 12-14, 2001 and Alfaro, Luca de ; ed.},
	title = {Process algebra and probabilistic methods; performance modelling and verification; proceedings of the 1st joint international workshop.},
	publisher = {Springer-Verlag},
	year = {2001},
	address = {New York},
	note = {"Purchased under NBHM grant for the year 2001-2002"}
}