
@conference {635,
	title = {The First-Order Logic of Hyperproperties},
	booktitle = {Proceedings of the 34th Symposium on Theoretical Aspects of Computer Science (STACS)},
	year = {2017},
	author = {Bernd Finkbeiner and Martin Zimmermann}
}
