JUAN CARLOS
BURGUILLO RIAL
CATEDRATICO/A DE UNIVERSIDAD TC
Juan
Quemada
Publicacións nas que colabora con Juan Quemada (1)
1997
-
Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997