面向服务软件异常处理过程的可终止性验证
蒋曹清, 应 时, 文 静, 贾向阳, 管 华
Verification of Termination for Exception Handling Process in Service-Oriented Software
JIANG Caoqing, YING Shi, WEN Jing, JIA Xiangyang, GUAN Hua
计算机科学与探索
.
2012, (3): 208
-220
.
DOI: 10.3778/j.issn.1673-9418.2012.03.002
