@article{OJLCCollaborative, Keywords = {clara}, Author = {Eric Bodden and Laurie Hendren and Patrick Lam and Ond\v{r}ej Lhot{\'{a}}k and Nomair A. Naeem}, Doi = {10.1093/logcom/exn077}, Journal = {Oxford Journal of Logics and Computation}, Month = nov, Title = {Collaborative Runtime Verification with Tracematches}, Url = {https://www.bodden.de/pubs/bhl+08collaborative.pdf}, Year = {2008}, Bdsk-Url-1 = {https://www.bodden.de/pubs/bhl+08collaborative.pdf}, Bdsk-Url-2 = {https://dx.doi.org/10.1093/logcom/exn077}}