APA (7th ed.) Citation

Lang, F., Mateescu, R., & Mazzanti, F. (2021). Compositional verification of concurrent systems by combining bisimulations. Formal methods in system design, 58(1-2), 83-125. https://doi.org/10.1007/s10703-021-00360-w

Chicago Style (17th ed.) Citation

Lang, Frédéric, Radu Mateescu, and Franco Mazzanti. "Compositional Verification of Concurrent Systems by Combining Bisimulations." Formal Methods in System Design 58, no. 1-2 (2021): 83-125. https://doi.org/10.1007/s10703-021-00360-w.

MLA (9th ed.) Citation

Lang, Frédéric, et al. "Compositional Verification of Concurrent Systems by Combining Bisimulations." Formal Methods in System Design, vol. 58, no. 1-2, 2021, pp. 83-125, https://doi.org/10.1007/s10703-021-00360-w.