APA (7th ed.) Citation

Huerta y Munive, J. J., Foster, S., Gleirscher, M., Struth, G., Pardillo Laursen, C., & Hickman, T. (2024). IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale. Journal of Automated Reasoning, 68(4), 1. https://doi.org/10.1007/s10817-024-09709-2

Chicago Style (17th ed.) Citation

Huerta y Munive, Jonathan Julián, Simon Foster, Mario Gleirscher, Georg Struth, Christian Pardillo Laursen, and Thomas Hickman. "IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale." Journal of Automated Reasoning 68, no. 4 (2024): 1. https://doi.org/10.1007/s10817-024-09709-2.

MLA (9th ed.) Citation

Huerta y Munive, Jonathan Julián, et al. "IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale." Journal of Automated Reasoning, vol. 68, no. 4, 2024, p. 1, https://doi.org/10.1007/s10817-024-09709-2.