%0 Journal Article %1 journals/corr/abs-1709-08510 %A Krebs, Andreas %A Meier, Arne %A Virtema, Jonni %A Zimmermann, Martin %D 2017 %J CoRR %K %T Team Semantics for the Specification and Verification of Hyperproperties. %U http://dblp.uni-trier.de/db/journals/corr/corr1709.html#abs-1709-08510 %V abs/1709.08510

@article{journals/corr/abs-1709-08510, added-at = {2023-12-13T01:26:29.000+0100}, author = {Krebs, Andreas and Meier, Arne and Virtema, Jonni and Zimmermann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2d39623d170d8ecd959f040ffb8f98fba/admin}, ee = {http://arxiv.org/abs/1709.08510}, interhash = {719ce7a7a9b89547e8e2adfb323040bf}, intrahash = {d39623d170d8ecd959f040ffb8f98fba}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T01:26:29.000+0100}, title = {Team Semantics for the Specification and Verification of Hyperproperties.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1709.html#abs-1709-08510}, volume = {abs/1709.08510}, year = 2017 }