逻辑标记转换系统下预备模拟与稳定划分

逻辑标记转换系统下预备模拟与稳定划分

朱文涛

Ready Simulation and Stable Partition Pair on Logic Labeled Transition System

ZHU Wentao

计算机科学与探索 . 2015, (7): 877 -886 . DOI: 10.3778/j.issn.1673-9418.1409033