共 17 条
[1]
CARL AP, 1962, THESIS U BONN
[4]
GABBAR HA, 2005, MODERN FORMAL METHOD
[5]
GABBAR HA, 2007, IEEE SMC INT C OCT M
[6]
GABBAR HA, 2007, INT C SICE SEPT KAG
[8]
HAASL DF, 1965, ADV CONCEPTS FAULT T, P8
[10]
LIND M, 1994, APPL ARTIF INTELL, V8, P529

