Media type: E-Article Title: Automated Technology for Verification and Analysis: Runtime Enforcement of Hyperproperties Contributor: Coenen, Norine; Finkbeiner, Bernd; Hahn, Christopher; Hofmann, Jana; Schillo, Yannick imprint: Springer International Publishing, 2021 Published in: Automated Technology for Verification and Analysis Language: Not determined DOI: 10.1007/978-3-030-88885-5_19 ISSN: 0302-9743; 1611-3349 Origination: Footnote: