@misc{indiciae734d9f0732ed, title = {Selective Monitoring}, author = {Radu Grigore and Stefan Kiefer}, year = {2018}, doi = {10.4230/lipics.concur.2018.20}, url = {https://arxiv.org/abs/1806.06143}, note = {Source identifier: 1806.06143} }