Cita APA

Pavese, E. J. (2006). Una nueva estructura de datos basada en BDDs para el model checking temporizada. Web

Citación estilo Chicago

Pavese, Esteban José. Una Nueva Estructura De Datos Basada En BDDs Para El Model Checking Temporizada. 2006.

Cita MLA

Pavese, Esteban José. Una Nueva Estructura De Datos Basada En BDDs Para El Model Checking Temporizada. 2006.

Precaución: Estas citas no son 100% exactas.