Observation Equivalence as a Testing Equivalence

Bibliografski detalji
Glavni autor: Abramsky, S
Format: Conference item
Izdano: 1987