@misc{misc, title = {{Team Semantics for the Specification and Verification of Hyperproperties}}, url = {{}}, year = {{2017}}, month = {{9}}, author = {{Krebs A and Meier A and Virtema J and Zimmermann M}}, note = {{Accessed on 2024/12/23}}}