Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli. A Probabilistic Approach to Automatic Verification of Concurrent Systems. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China. pages 317-324, IEEE Computer Society, 2001. [doi]
@inproceedings{TronciPIZ01:0,
title = {A Probabilistic Approach to Automatic Verification of Concurrent Systems},
author = {Enrico Tronci and Giuseppe Della Penna and Benedetto Intrigila and Marisa Venturini Zilli},
year = {2001},
url = {http://csdl.computer.org/comp/proceedings/apsec/2001/1408/00/14080317abs.htm},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/TronciPIZ01%3A0},
cites = {0},
citedby = {0},
pages = {317-324},
booktitle = {8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-1408-1},
}