Cita APA

Lee, M. D., & de Vink, E. P. (2015). Rooted branching bisimulation as a congruence for probabilistic transition systems. Web

Citación estilo Chicago

Lee, Matías David, and Erik P. de Vink. Rooted Branching Bisimulation As a Congruence for Probabilistic Transition Systems. 2015.

Cita MLA

Lee, Matías David, and Erik P. de Vink. Rooted Branching Bisimulation As a Congruence for Probabilistic Transition Systems. 2015.