CASPA: A Tool for Symbolic Performance and Dependability Evaluation

@InProceedings{Kuntz04+,
	author          = {Matthias Kuntz and Markus Siegle and Edith Werner},
	title           = {{CASPA: A Tool for Symbolic Performance and Dependability Evaluation}},
	booktitle       = {Applying Formal Methods: Testing, Performance, and M/E-Commerce},
	publisher       = {Springer},
	pages           = {90-91},
	month           = jun,
	year            = 2004,
}