@inproceedings{kbbk10reducing,
	Annote = {an VGWort melden},
	Title = {Reducing Configurations to Monitor in a Software Product Line},
	Keywords = {clara},
	Author = {Chang Hwan Peter Kim and Eric Bodden and Don Batory and Sarfraz Khurshid},
	Booktitle = {1st International Conference on Runtime Verification (RV)},
	Date-Modified = {2010-10-19 13:45:36 +0200},
	Month = nov,
	Publisher = {Springer},
	Series = {LNCS},
	pages = {285--299},
	Url = {https://www.bodden.de/pubs/kbbk10reducing.pdf},
	Volume = {6418},
	Year = {2010},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/kbbk10reducing.pdf}}