Aguirre, Jorge Alberto <br/><br/>
Un método de diseño de autómatas, guiado por invariantes 

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