Claudio de la Riva, Javier Tuya, José Ramón de Diego. Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno. In Carlos Delgado, Esperanza Marcos, José Manuel Marqués Corral, editors, V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid. pages 53-58, Universidad de Valladolid, Departamento de Informática, 2000.
Abstract is missing.