Constraint-Based Verification

Guardado en:
Autor Principal: Yuan, Jun.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Pixley, Carl., Aziz, Adnan.
Formato: Electrónico
Idioma:English
Publicado: Boston, MA : Springer Science+Business Media, Inc., 2006.
Materias:
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!