@inproceedings{blh10clara,
	Annote = {an VGWort melden},
	Keywords = {clara},
	Author = {Eric Bodden and Patrick Lam and Laurie Hendren},
	Booktitle = {1st International Conference on Runtime Verification (RV)},
	Date-Modified = {2010-10-19 13:45:19 +0200},
	Month = nov,
	Pages = {74--88},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors},
	Url = {https://www.bodden.de/pubs/blh10clara.pdf},
	Volume = {6418},
	Year = {2010},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/blh10clara.pdf}}