Branching time and abstraction in bisimulation semantics 论文

1996Journal of the ACM引用 735
DOIPDF
Logic, programming, and type systemsLogic, Reasoning, and Knowledgesemigroups and automata theory
Logic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theory
关系图谱

Branching time and abstraction in bisimulation semantics · 相关技术

暂无数据