Verificación de requisitos de tiempo críticos sobre sistemas incompletos
Research areas: |
|
Year: | 2000 | ||||
---|---|---|---|---|---|---|---|
Type of Publication: | In Proceedings | ||||||
Authors: | 4, 3 2 | ||||||
Book title: | VIII Jornadas de Concurrencia | ||||||
Pages: | 277-290 | ||||||
Address: | Cuenca, Spain | ||||||
Month: | June | ||||||
BibTex: |
|||||||