共 67 条
[3]
ALUR R, 1992, LECT NOTES COMPUT SC, V630, P340
[5]
Alur R., 2011, 2011 International Conference on Embedded Software (EMSOFT 2011), P165
[6]
ALUR R, 1991, LECT NOTES COMPUT SC, V510, P115
[8]
[Anonymous], 1976, DENUMERABLE MARKOV C, DOI DOI 10.1007/978-1-4684-9455-6
[9]
Asarin E, 1998, LECT NOTES COMPUT SC, V1466, P470, DOI 10.1007/BFb0055642