Compositional Reachability Analysis of Labeled Transition Systems

• 标记迁移系统的组合可达性分析