Ferrer Fioriti, L. M., & D'Argenio, P. R. (2011). Reducción de orden parcial en model checking probabilista simbólico.
Cita Chicago Style (17a ed.)Ferrer Fioriti, Luis María., y Pedro R. D'Argenio. Reducción De Orden Parcial En Model Checking Probabilista Simbólico. 2011.
Cita MLA (8a ed.)Ferrer Fioriti, Luis María., y Pedro R. D'Argenio. Reducción De Orden Parcial En Model Checking Probabilista Simbólico. 2011.
Precaución: Estas citas no son 100% exactas.