APA (7th ed.) Citation

Hsu, T., Oliveira da Costa, A., Wintenberg, A., Bartocci, E., & Bonakdarpour, B. (2025). Gray-box runtime enforcement of hyperproperties. Acta Informatica, 62(3), 1. https://doi.org/10.1007/s00236-025-00502-1

Chicago Style (17th ed.) Citation

Hsu, Tzu-Han, Ana Oliveira da Costa, Andrew Wintenberg, Ezio Bartocci, and Borzoo Bonakdarpour. "Gray-box Runtime Enforcement of Hyperproperties." Acta Informatica 62, no. 3 (2025): 1. https://doi.org/10.1007/s00236-025-00502-1.

MLA (9th ed.) Citation

Hsu, Tzu-Han, et al. "Gray-box Runtime Enforcement of Hyperproperties." Acta Informatica, vol. 62, no. 3, 2025, p. 1, https://doi.org/10.1007/s00236-025-00502-1.