APA (7th ed.) Citation

Xu, X., Zhan, B., Wang, S., Talpin, J., & Zhan, N. (2023). A denotational semantics of Simulink with higher-order UTP. Journal of logical and algebraic methods in programming, 130, 100809. https://doi.org/10.1016/j.jlamp.2022.100809

Chicago Style (17th ed.) Citation

Xu, Xiong, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, and Naijun Zhan. "A Denotational Semantics of Simulink with Higher-order UTP." Journal of Logical and Algebraic Methods in Programming 130 (2023): 100809. https://doi.org/10.1016/j.jlamp.2022.100809.

MLA (9th ed.) Citation

Xu, Xiong, et al. "A Denotational Semantics of Simulink with Higher-order UTP." Journal of Logical and Algebraic Methods in Programming, vol. 130, 2023, p. 100809, https://doi.org/10.1016/j.jlamp.2022.100809.