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.
@inproceedings{RivaTD00,
title = {Verificación Modular de Sistemas Reactivos con Abstracciones del Entorno},
author = {Claudio de la Riva and Javier Tuya and José Ramón de Diego},
year = {2000},
researchr = {https://researchr.org/publication/RivaTD00},
cites = {0},
citedby = {0},
pages = {53-58},
booktitle = {V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid},
editor = {Carlos Delgado and Esperanza Marcos and José Manuel Marqués Corral},
publisher = {Universidad de Valladolid, Departamento de Informática},
isbn = {84-8448-065-8},
}