Observation Equivalence as a Testing Equivalence

Bibliografiset tiedot
Päätekijä: Abramsky, S
Aineistotyyppi: Conference item
Julkaistu: 1987