共 18 条
- [2] Alur R., 1990, LICS, P414
- [3] Alur R., 1992, LECTURE NOTES COMPUT, V736, P209, DOI DOI 10.1007/3-540-57318-6_30
- [4] Aziz Adnan, 2000, ACM T COMPUT LOG, V1, P162, DOI [10.1145/343369.343402, DOI 10.1145/343369.343402]
- [5] Baier C, 2000, LECT NOTES COMPUT SC, V1853, P780
- [6] BAIER C, 2000, LNCS, V1855, P358
- [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