共 9 条
[1]
Liao Jun, 2005, Chinese Journal of Computers, V28, P635
[3]
QIAN ZZ, 2006, CHINESE J COMPUTERS, V29, P1058
[4]
Srivastava B., 2003, ICAPS 2003 WORKSH PL, V35, P28
[5]
[孙健 Sun Jian], 2004, [计算机工程, Computer Engineering], V30, P14
[6]
Tang Z.S., 2002, TEMPORAL LOGIC PROGR
[7]
[袁勇福 Yuan Yongfu], 2006, [计算机应用, Computer Applications], V26, P2466
[8]
Zhu Xue-Yang, 2003, Journal of Software, V14, P713
[9]
2003, BPEL4WS BUSINESS PRO