Algorithms for Model Checking HyperLTL and HyperCTL * | Publicación