Mario Sangiorgio. Modeling, analyzing, and monitoring interacting software components. PhD thesis, Polytechnic University of Milan, Italy, 2014. [doi]
@phdthesis{it-511,
title = {Modeling, analyzing, and monitoring interacting software components},
author = {Mario Sangiorgio},
year = {2014},
url = {https://hdl.handle.net/10589/88671},
researchr = {https://researchr.org/publication/it-511},
cites = {0},
citedby = {0},
school = {Polytechnic University of Milan, Italy},
}