Citace podle APA (7th ed.)

Bellanger, C., Garoche, P., Martel, M., & Picard, C. (2023). Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. Electronic proceedings in theoretical computer science, 395, 188-204. https://doi.org/10.4204/EPTCS.395.14

Citace podle Chicago (17th ed.)

Bellanger, Céline, Pierre-Loïc Garoche, Matthieu Martel, a Célia Picard. "Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers." Electronic Proceedings in Theoretical Computer Science 395 (2023): 188-204. https://doi.org/10.4204/EPTCS.395.14.

Citace podle MLA (9th ed.)

Bellanger, Céline, et al. "Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers." Electronic Proceedings in Theoretical Computer Science, vol. 395, 2023, pp. 188-204, https://doi.org/10.4204/EPTCS.395.14.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..