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
Citace podle Chicago (17th ed.)Bartocci, Ezio, Cristinel Mateis, Eleonora Nesterini, a Dejan Nickovic. "Survey on Mining Signal Temporal Logic Specifications." Information and Computation 289 (2022): 104957. https://doi.org/10.1016/j.ic.2022.104957.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..