@Inproceedings{EPTCS254.5, author = {Cornejo, Oscar and Briola, Daniela and Micucci, Daniela and Mariani, Leonardo}, year = {2017}, title = {Fragmented Monitoring}, editor = {Francalanza, Adrian and Pace, Gordon J.}, booktitle = {{\rm Proceedings Second International Workshop on} Pre- and Post-Deployment Verification Techniques, {\rm Torino, Italy, 19 September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {254}, publisher = {Open Publishing Association}, pages = {57-68}, doi = {10.4204/EPTCS.254.5}, }