Title Issue Date
Aportaciones a la verificación formal de circuitos secuenciales Navarro Botello,Héctor Advisor: Montiel Nelson, Juan Antonio Issued date: 2006 Tesis doctoral