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 = {http://www.bodden.de/pubs/bhl+08collaborative.pdf},
	Year = {2008},
	Bdsk-Url-1 = {http://www.bodden.de/pubs/bhl+08collaborative.pdf},
	Bdsk-Url-2 = {http://dx.doi.org/10.1093/logcom/exn077}}
Powered by bibtexbrowser