共 8 条
[1]
CHEN Z, 2000, J SOFTWARE, V11, P996
[2]
COHEN R, 1996, IEEE J SELECTED AREA, V14
[3]
MA HD, 1996, J SOFTWARE, V7, P385
[4]
MA HD, 1999, J COMPUTER SCI TECHN, V14
[5]
Ma Hua-Dong, 1998, Journal of Software, V9, P889
[6]
Ma Huadong, 1995, Chinese Journal of Computers, V18, P814
[7]
MANN Z, 1992, TEMPORAL LOGIC REACT
[8]
Tang Z, 1999, TEMPORAL LOGIC PROGR, V1