Ferrer Fioriti, L. M., & D'Argenio, P. R. (2011). Reducción de orden parcial en model checking probabilista simbólico.
Chicago Style (17th ed.) CitationFerrer Fioriti, Luis María, and Pedro Ruben D'Argenio. Reducción De Orden Parcial En Model Checking Probabilista Simbólico. 2011.
MLA (9th ed.) CitationFerrer Fioriti, Luis María, and Pedro Ruben D'Argenio. Reducción De Orden Parcial En Model Checking Probabilista Simbólico. 2011.