共 29 条
[1]
ADAMS TF, 1990, POLICE FIELD OPERATI
[2]
[Anonymous], LNCS
[3]
BEST D, 1982, IEEE MICRO AUG, P11
[4]
BOYER RS, 1979, COMPUTATIONAL LOGIC
[5]
BROCK S, 1990, RAISE METHOD MANUAL
[7]
BUTLER RW, 1991, COMPASS 91 : PROCEEDINGS OF THE SIXTH ANNUAL CONFERENCE ON COMPUTER ASSURANCE, P157, DOI 10.1109/CMPASS.1991.161055
[8]
CYRLUK, 1993, SRICSL9312 SRI INT C
[9]
CYRLUK D, 1994, LNCS, V818, P247
[10]
DIVITO BL, 1990, 102716 NASA LANGL RE