Collaborative Runtime Verification with Tracematches

Bodden, Eric; Hendren, Laurie; Lam, Patrick; Lhoták, Ondrej; Naeem, Nomair A.

doi:10.1093/logcom/exn077

Collaborative Runtime Verification with Tracematches (bibtex)

@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}}