Observation Equivalence as a Testing Equivalence

Библиографические подробности
Главный автор: Abramsky, S
Формат: Conference item
Опубликовано: 1987