Observation Equivalence as a Testing Equivalence

Bibliografske podrobnosti
Glavni avtor: Abramsky, S
Format: Conference item
Izdano: 1987