Observation Equivalence as a Testing Equivalence

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Abramsky, S
Ձևաչափ: Conference item
Հրապարակվել է: 1987