Verification of safety and liveness property based on concurrent system
LI Yang 1,CHENG Jian-hua 2,FANG Ding-yi 1,CHEN Xiao-jiang 1,FENG Jian 1
Computer Engineering and Applications . 2008, (4): 107 -110 . 

京ICP备13024262号-1
Copyright © Computer Engineering and Applications
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: