Observation Equivalence as a Testing Equivalence

书目详细资料
主要作者: Abramsky, S
格式: Conference item
出版: 1987