Medel, R., & Baum, G. A. (2001). Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal.
Cita Chicago Style (17a ed.)Medel, Ricardo, y Gabriel Alfredo Baum. Aplicación De Algebras Fork En La Verificación Automática De Sistemas Especificados En Lógica Modal. 2001.
Cita MLA (8a ed.)Medel, Ricardo, y Gabriel Alfredo Baum. Aplicación De Algebras Fork En La Verificación Automática De Sistemas Especificados En Lógica Modal. 2001.
Precaución: Estas citas no son 100% exactas.