TY  - GEN
AU  - Baum,Gabriel Alfredo
TI  - Aplicación de álgebras Fork en la verificación  automática de sistemas especificados en lógica modal
ER  -