Suggested Topics within your search.
Suggested Topics within your search.
1
By:
Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Cadavid Rengifo, Hector Fabio, Rocha, Camilo, Muñoz, Cesar, Informática
Published in: Lecture Notes in Computer Science (2012)
Published in: Lecture Notes in Computer Science (2012)
Fuente: Escuela Colombiana de Ingeniería
Subjects: ';
“...Estructura Kripke...”
Tipo de material: Artículo de revista
2
By:
Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Rocha, Camilo, Cadavid, Héctor, Siminiceanu, Radu, Informática
Published in: Integrated Formal Methods (2012)
Published in: Integrated Formal Methods (2012)
Fuente: Escuela Colombiana de Ingeniería
Subjects: ';
“...Estructura Kripke...”
Tipo de material: Artículo de revista