Observation Equivalence as a Testing Equivalence

Chi tiết về thư mục
Tác giả chính: Abramsky, S
Định dạng: Conference item
Được phát hành: 1987