
@conference {600,
	title = {Algorithms for Model Checking HyperLTL and HyperCTL*},
	booktitle = {Proceedings of the 27th International Conference on Computer Aided Verification (CAV)},
	year = {2015},
	author = {Bernd Finkbeiner and Markus Rabe and C{\'e}sar S{\'a}nchez}
}
