Baum, Gabriel Alfredo <br/><br/>
Aplicación de álgebras Fork en la verificación  automática de sistemas especificados en lógica modal 

<br/><br/><label>Standard No.: </label>DIF-M3474