MARTIN
LLAMAS NISTAL
CATEDRATICO/A UNIVERSIDADE - TEMPO COMPLETO
Juan
Quemada
Publicaciones en las que colabora con Juan Quemada (2)
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
1994
-
Normalización de expresiones LOTOs bajo equivalencia de prueba
IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994