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

Áreas de investigación:	Sin categoría	Año:	2000
Tipo de publicación:	Artículo en conferencia
Autores:	4, 3 2
Título del libro:	VIII Jornadas de Concurrencia
Páginas:	277-290
Dirección:	Cuenca, Spain
Mes:	Junio
BibTex:
@conference{FPDGG00, author = "4,2,3,12,5", address = "Cuenca, Spain", booktitle = "VIII Jornadas de Concurrencia", month = "jun", pages = "277--290", title = "{V}erificaci{\'o}n de requisitos de tiempo cr{\'i}ticos sobre sistemas incompletos", year = "2000", }