APA (7th ed.) Citation

Lion, B., Arbab, F., & Talcott, C. (2022). A semantic model for interacting cyber-physical systems. Journal of logical and algebraic methods in programming, 129, 100807. https://doi.org/10.1016/j.jlamp.2022.100807

Chicago Style (17th ed.) Citation

Lion, Benjamin, Farhad Arbab, and Carolyn Talcott. "A Semantic Model for Interacting Cyber-physical Systems." Journal of Logical and Algebraic Methods in Programming 129 (2022): 100807. https://doi.org/10.1016/j.jlamp.2022.100807.

MLA (9th ed.) Citation

Lion, Benjamin, et al. "A Semantic Model for Interacting Cyber-physical Systems." Journal of Logical and Algebraic Methods in Programming, vol. 129, 2022, p. 100807, https://doi.org/10.1016/j.jlamp.2022.100807.