@INPROCEEDINGS{APSEC01, 
	author = {Enrico Tronci and  Giuseppe Della Penna and  Benedetto Intrigila and  Marisa Venturini Zilli },
	title = {A probabilistic approach to automatic verification of concurrent systems}, 
	doi = {10.1109/APSEC.2001.991495},
	series = {},
	booktitle = {Proceedings of 8th Asia-Pacific Software Engineering Conference },
	editor = {IEEE Press},

	year = {2001},
	month = {12},
}