@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},
}