Verificación automatizada eficiente de sistemas concurrentes especificando sus propiedades con fórmulas de una lógica de intervalos

  1. Capel Tuñón, Manuel
  2. Hornos Barranco, Miguel J.
Libro:
JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)
  1. Illarramendi Echave, Arantza (ed. lit.)
  2. Díaz García, Óscar (ed. lit.)
  3. Piattini Velthuis, Mario G. (ed. lit.)

Editorial: Universidad de Castilla-La Mancha

ISBN: 84-699-6275-2

Año de publicación: 2001

Páginas: 375-389

Congreso: Jornadas de Ingeniería del Software y Bases de Datos (JISBD) (6. 2001. Almagro)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet