工作流多过程动态时序一致性的实时模型检测

杜彦华;范玉顺

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

DU Yanhua;FAN Yushun

. 2010, (2): 185 -191 .