Denotational semantics for timed testing
- Díaz, L.F.L.
- de Frutos Escrig, D.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540630104
Año de publicación: 1997
Volumen: 1231
Páginas: 368-382
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783540630104
Año de publicación: 1997
Volumen: 1231
Páginas: 368-382
Tipo: Aportación congreso