Angelo Ferrando. Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification. In Viviana Mascardi, Ilaria Torre, editors, Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016. Volume 1769 of CEUR Workshop Proceedings, pages 40-45, CEUR-WS.org, 2016. [doi]
@inproceedings{Ferrando16,
title = {Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification},
author = {Angelo Ferrando},
year = {2016},
url = {http://ceur-ws.org/Vol-1769/paper07.pdf},
researchr = {https://researchr.org/publication/Ferrando16},
cites = {0},
citedby = {0},
pages = {40-45},
booktitle = {Proceedings of the Doctoral Consortium of AI*IA 2016 co-located with the 15th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 29, 2016},
editor = {Viviana Mascardi and Ilaria Torre},
volume = {1769},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}