Baum, G. A. Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal. CACIC [CD-ROM], Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén), .
Cita Chicago Style (17a ed.)Baum, Gabriel Alfredo. "Aplicación De álgebras Fork En La Verificación Automática De Sistemas Especificados En Lógica Modal." CACIC [CD-ROM] Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) ().
Cita MLA (9a ed.)Baum, Gabriel Alfredo. "Aplicación De álgebras Fork En La Verificación Automática De Sistemas Especificados En Lógica Modal." CACIC [CD-ROM], Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén), .