Observation Equivalence as a Testing Equivalence

Bibliografiska uppgifter
Huvudupphovsman: Abramsky, S
Materialtyp: Conference item
Publicerad: 1987