Lee, M. D., & De Vink, E. P. (2022). Rooted branching bisimulation as a congruence for probabilistic transition systems.
Cita Chicago Style (17a ed.)Lee, Matías David, y Erik P. De Vink. Rooted Branching Bisimulation as a Congruence for Probabilistic Transition Systems. 2022.
Cita MLA (8a ed.)Lee, Matías David, y Erik P. De Vink. Rooted Branching Bisimulation as a Congruence for Probabilistic Transition Systems. 2022.
Precaución: Estas citas no son 100% exactas.