
@conference {627,
	title = {Monitoring Hyperproperties},
	booktitle = {Proceedings of the 17th International Conference on Runtime Verification (RV)},
	year = {2017},
	author = {Bernd Finkbeiner and Christopher Hahn and Marvin Stenger and Leander Tentrup}
}
