@misc{misc, title  = {{Team Semantics for the Specification and Verification of Hyperproperties}},

 year = {{2017}},

 month = {{9}},

 author = {{Krebs A and Meier A and Virtema J and Zimmermann M}},

 note = {{Accessed on 2026/08/14}}}