Antonio Filieri. Model based verification and adaptation of software systems @runtime. PhD thesis, Polytechnic University of Milan, Italy, 2013. [doi]
@phdthesis{it-170, title = {Model based verification and adaptation of software systems @runtime}, author = {Antonio Filieri}, year = {2013}, url = {https://hdl.handle.net/10589/74321}, researchr = {https://researchr.org/publication/it-170}, cites = {0}, citedby = {0}, school = {Polytechnic University of Milan, Italy}, }