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.