Testing semantics for unbounded nondeterminism

  1. Díaz, L.F.L.
  2. Núñez, M.
Büchersammlung:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 0302-9743 1611-3349

ISBN: 9783540634409

Datum der Publikation: 1997

Ausgabe: 1300 LNCS

Seiten: 538-545

Art: Konferenz-Beitrag