Cita APA

Medel, R., & Baum, G. A. (2001). Aplicación de algebras fork en la verificación automática de sistemas especificados en lógica modal. Web

Citación estilo Chicago

Medel, Ricardo, and Gabriel Alfredo Baum. Aplicación De Algebras Fork En La Verificación Automática De Sistemas Especificados En Lógica Modal. 2001.

Cita MLA

Medel, Ricardo, and Gabriel Alfredo Baum. Aplicación De Algebras Fork En La Verificación Automática De Sistemas Especificados En Lógica Modal. 2001.