Observation Equivalence as a Testing Equivalence

Manylion Llyfryddiaeth
Prif Awdur: Abramsky, S
Fformat: Conference item
Cyhoeddwyd: 1987