
@conference {inp:EhlersFinkbeiner2011a,
	title = {Monitoring Realizability},
	booktitle = {Proceedings of the 2nd International Conference on Runtime Verification (RV 2011)},
	year = {2012},
	author = {R. Ehlers and B. Finkbeiner}
}
