%0 Journal Article %1 journals/corr/FinkbeinerZ16 %A Finkbeiner, Bernd %A Zimmermann, Martin %D 2016 %J CoRR %K %T The First-Order Logic of Hyperproperties. %U http://dblp.uni-trier.de/db/journals/corr/corr1610.html#FinkbeinerZ16 %V abs/1610.04388

@article{journals/corr/FinkbeinerZ16, added-at = {2023-12-13T00:50:06.000+0100}, author = {Finkbeiner, Bernd and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/20d7f40260cd58abfaffaeffe519b8fe8/admin}, ee = {http://arxiv.org/abs/1610.04388}, interhash = {69156ab685f632b99bbc24a274d97f82}, intrahash = {0d7f40260cd58abfaffaeffe519b8fe8}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T00:50:06.000+0100}, title = {The First-Order Logic of Hyperproperties.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1610.html#FinkbeinerZ16}, volume = {abs/1610.04388}, year = 2016 }