@inproceedings{stark-papm99,
	author = "E. Stark and G. Pemmasani",
	title = "Implementation of a Compositional Performance Analysis
			Algorithm for Probabilistic {I/O} Automata",
	BOOKTITLE = "Proceedings of 7th International Workshop on Process
			  Algebra and Performance Modelling (PAPM'99)",
	publisher = "Prensas Universitarias de Zaragoza",
	ADDRESS = "Zaragoza, Spain",
	month = SEP,
	year = "1999",
	pages = "3--24"
}