APA (7th ed.) Citation

Bartocci, E., Mateis, C., Nesterini, E., & Nickovic, D. (2022). Survey on mining signal temporal logic specifications. Information and computation, 289, 104957. https://doi.org/10.1016/j.ic.2022.104957

Chicago Style (17th ed.) Citation

Bartocci, Ezio, Cristinel Mateis, Eleonora Nesterini, and Dejan Nickovic. "Survey on Mining Signal Temporal Logic Specifications." Information and Computation 289 (2022): 104957. https://doi.org/10.1016/j.ic.2022.104957.

MLA (9th ed.) Citation

Bartocci, Ezio, et al. "Survey on Mining Signal Temporal Logic Specifications." Information and Computation, vol. 289, 2022, p. 104957, https://doi.org/10.1016/j.ic.2022.104957.