APA (7th ed.) Citation

Basile, D., ter Beek, M. H., Fantechi, A., & Gnesi, S. (2024). Coherent modal transition systems refinement. Journal of logical and algebraic methods in programming, 138, 100954. https://doi.org/10.1016/j.jlamp.2024.100954

Chicago Style (17th ed.) Citation

Basile, Davide, Maurice H. ter Beek, Alessandro Fantechi, and Stefania Gnesi. "Coherent Modal Transition Systems Refinement." Journal of Logical and Algebraic Methods in Programming 138 (2024): 100954. https://doi.org/10.1016/j.jlamp.2024.100954.

MLA (9th ed.) Citation

Basile, Davide, et al. "Coherent Modal Transition Systems Refinement." Journal of Logical and Algebraic Methods in Programming, vol. 138, 2024, p. 100954, https://doi.org/10.1016/j.jlamp.2024.100954.