共 30 条
[2]
[Anonymous], P 2 WORKSH COMP SUPP
[3]
ARAMANOLIS CK, FORMAL VERIFICATION
[4]
BARBARA D, 1994, CINCAS COMPUTATION M
[5]
CHRASTOWSKI P, 2003, LECT NOTES COMPUTER, V2678, P336
[6]
Cichocki A., 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99, P90, DOI 10.1109/DEXA.1999.795150
[7]
Coves C, 1998, IEEE SYS MAN CYBERN, P101, DOI 10.1109/ICSMC.1998.725392
[8]
GOU H, 2001, IEEE INT C SYST MAN, V3, P2052
[9]
Gou HM, 2000, IEEE SYS MAN CYBERN, P3183, DOI 10.1109/ICSMC.2000.886488
[10]
HA S, COMPUTERS IND