Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación

  1. Fernández Iglesias, Manuel J.
  2. Llamas Nistal, Martín
  3. Burguillo Rial, Juan Carlos
  4. Quemada, Juan
Liburua:
V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997
  1. Fernández Iglesias, Manuel J. (coord.)
  2. Llamas Nistal, Martín (coord.)
  3. Pazos Arias, José Juan (coord.)

Argitaletxea: Servizo de Publicacións ; Universidade de Vigo

ISBN: 84-8158-065-1

Argitalpen urtea: 1997

Orrialdeak: 307-320

Biltzarra: Jornadas de Concurrencia (5. 1997. Vigo)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet