Ferrer Fioriti, L. M. (2010). Reducción de orden parcial en model checking probabilista simbólico. Web
Citación estilo ChicagoFerrer Fioriti, Luis María. Reducción De Orden Parcial En Model Checking Probabilista Simbólico. 2010.
Cita MLAFerrer Fioriti, Luis María. Reducción De Orden Parcial En Model Checking Probabilista Simbólico. 2010.
Precaución: Estas citas no son 100% exactas.