Παραπομπή σε μορφή APA (7η εκδ.)

Beutner, R., & Finkbeiner, B. (2025). Verifying Asynchronous Hyperproperties in Reactive Systems. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 2227-2253. https://doi.org/10.1145/3763130

Παραπομπή σε μορφή Chicago (17η εκδ.)

Beutner, Raven, και Bernd Finkbeiner. "Verifying Asynchronous Hyperproperties in Reactive Systems." Proceedings of the ACM on Programming Languages 9, no. OOPSLA2 (2025): 2227-2253. https://doi.org/10.1145/3763130.

Παραπομπή σε μορφή MLA (9th εκδ.)

Beutner, Raven, και Bernd Finkbeiner. "Verifying Asynchronous Hyperproperties in Reactive Systems." Proceedings of the ACM on Programming Languages, vol. 9, no. OOPSLA2, 2025, pp. 2227-2253, https://doi.org/10.1145/3763130.