Un nuevo enfoque para la verificación de relaciones basadas en la bisimulación
- Fernández Iglesias, Manuel J. (coord.)
- Llamas Nistal, Martín (coord.)
- Pazos Arias, José Juan (coord.)
Publisher: Servizo de Publicacións ; Universidade de Vigo
ISBN: 84-8158-065-1
Year of publication: 1997
Pages: 307-320
Congress: Jornadas de Concurrencia (5. 1997. Vigo)
Type: Conference paper