Verificación de propiedades de dominio mediante modelado preciso
Tipo: Conferencia Nacional
Lugar: V Jornadas de Trabajo DYNAMICA, Universidad Politécnica de Valencia, Valencia. ISBN: 84-690-2623-2
Fecha de Publicación: .2006-11-23
Autores: Francisco J. Lucas
Ambrosio Toval Alvarez
F.J. Ruiz