共 43 条
[1]
ALDEED H, 1989, UCBITSPRR891 U CAL I
[2]
ALDEEK HM, 1988, UCBITSPRR882 U CAL I
[4]
BROQUA F, 1991, ADV TELEMATICS ROAD
[5]
BROQUA F, P DRIVE C, P908
[6]
CHANG K, 1991, 1991 P AM CONTR C BO, P3078
[7]
CHANG K, 1991, OCT P VEH NAV INF SY, P1117
[8]
AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1986, 8 (02)
:244-263
[9]
DAVIS J, 1987, ADAPTING RADAR AUTOM
[10]
ESKAFI F, 1992, SMARTPATH AUTOMATIC