Angulo Jordà, D., & Zaballos Diego, A. (2008). Verificación de protocolos mediante model checking.
Cita Chicago Style (17a ed.)Angulo Jordà, David, y Agustín Zaballos Diego. Verificación De Protocolos Mediante Model Checking. 2008.
Cita MLA (9a ed.)Angulo Jordà, David, y Agustín Zaballos Diego. Verificación De Protocolos Mediante Model Checking. 2008.
Precaución: Estas citas no son 100% exactas.
