共 37 条
[21]
Jones J. C., 1970, DESIGN METHODS SEEDS
[22]
Kripke SA., 1963, MATH LOGIC QUART, V9, P67, DOI [DOI 10.1002/MALQ.19630090502, 10.1002/malq.19630090502]
[23]
Lyman JA, 2000, J AM MED INFORM ASSN, P1074
[24]
Manna Z., 1992, TEMPORAL LOGIC REACT
[25]
Milner R., 1990, LNCS, V92
[27]
PLOTKIN GD, 1981, FN19 DAIMI U AARH
[28]
Rector A., 1997, P AAAI 97, P100
[29]
SINGH MP, 2005, SERVICE ORIENTED COM
[30]
Soubie J. L., 1994, SYSTEMES COOPERATIFS