APA (7th ed.) Citation

BARTOCCI, E., MATEIS, C., NESTERINI, E., & NIČKOVIĆ, D. (2023). Mining Hyperproperties using Temporal Logics. ACM Transactions on Embedded Computing Systems, 22, 1. https://doi.org/10.1145/3609394

Chicago Style (17th ed.) Citation

BARTOCCI, EZIO, CRISTINEL MATEIS, ELEONORA NESTERINI, and DEJAN NIČKOVIĆ. "Mining Hyperproperties Using Temporal Logics." ACM Transactions on Embedded Computing Systems 22 (2023): 1. https://doi.org/10.1145/3609394.

MLA (9th ed.) Citation

BARTOCCI, EZIO, et al. "Mining Hyperproperties Using Temporal Logics." ACM Transactions on Embedded Computing Systems, vol. 22, 2023, p. 1, https://doi.org/10.1145/3609394.