@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} }