文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
André Arnold
发表
Finite transition systems
André Arnold, A. Arnold, 1994 .
An Algebraic Characterization of Transition System Equivalences
Anne Dicky, André Arnold, 1989, Inf. Comput..