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-Zitierstil (17. Ausg.)Lang, Frédéric, Radu Mateescu, und 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-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.