Publications by the researcher in collaboration with Juan Quemada (2)

1997

  1. 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

  1. Normalización de expresiones LOTOs bajo equivalencia de prueba

    IX Simposium Nacional : Las Palmas de Gran Canaria, 21-23 de septiembre de 1994