CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures

@InProceedings{Kuntz03+,
	author          = {Matthias Kuntz and Markus Siegle and Edith Werner},
	title           = {{CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures}},
	booktitle       = {Performance TOOLS 2003},
	address         = {University of Dortmund, Germany},
	pages           = {19-21},
	month           = sep,
	year            = 2003,
}