共 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