D'Argenio, P. R., Gebler, D., & Lee, M. D. (2014). Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. Web
Citación estilo ChicagoD'Argenio, Pedro Ruben, Daniel Gebler, and Matías David Lee. Axiomatizing Bisimulation Equivalences and Metrics From Probabilistic SOS Rules. 2014.
Cita MLAD'Argenio, Pedro Ruben, Daniel Gebler, and Matías David Lee. Axiomatizing Bisimulation Equivalences and Metrics From Probabilistic SOS Rules. 2014.
Precaución: Estas citas no son 100% exactas.