Verificación de requisitos de tiempo críticos sobre sistemas incompletos

  1. García Duque, Jorge
  2. Barragáns Martínez, Ana Belén
  3. Díaz Redondo, Rebeca
  4. Pazos Arias, José Juan
  5. Fernández Vilas, Ana
  6. Gil Solla, Alberto
Libro:
Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000
  1. Cazorla López, Diego (coord.)

Editorial: Universidad de Castilla-La Mancha

ISBN: 84-8427-074-2

Año de publicación: 2000

Páginas: 277-290

Congreso: Jornadas de Concurrencia (8. 2000. Cuenca)

Tipo: Aportación congreso