Denotational semantics for timed testing
- Díaz, L.F.L.
- de Frutos Escrig, D.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540630104
Argitalpen urtea: 1997
Alea: 1231
Orrialdeak: 368-382
Mota: Biltzar ekarpena
Liburu bilduma:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)