APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Bellanger, Céline, Pierre-Loïc Garoche, Matthieu Martel, and 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.

MLA (9th ed.) Citation

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.