Verificación de requisitos de tiempo críticos sobre sistemas incompletos
- García Duque, Jorge
- Barragáns Martínez, Ana Belén
- Díaz Redondo, Rebeca
- Pazos Arias, José Juan
- Fernández Vilas, Ana
- Gil Solla, Alberto
- Cazorla López, Diego (coord.)
Editorial: Universidad de Castilla-La Mancha
ISBN: 84-8427-074-2
Any de publicació: 2000
Pàgines: 277-290
Congrés: Jornadas de Concurrencia (8. 2000. Cuenca)
Tipus: Aportació congrés