Navegar

Colección

Datos Estadísticas

Lista de

Schapachnik, Fernando Pablo
2
2009
1
Pérez, Gervasio Daniel. (2009). "Reducción de subárboles repetidos en eCDDs para el model checking temporizado". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.