共 30 条
[5]
Alur R., 1993, Proceedings of the Twenty-Fifth Annual ACM Symposium on the Theory of Computing, P592, DOI 10.1145/167088.167242
[6]
Alur Rajeev, 1993, Hybrid Systems, P209, DOI [DOI 10.1007/3-540-57318-6, DOI 10.1007/3-540-57318-6_30]
[7]
[Anonymous], LNCS
[8]
[Anonymous], 1996, LNCS
[9]
Bouajjani A., 1993, Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science (Cat. No.93CH3328-2), P147, DOI 10.1109/LICS.1993.287592
[10]
Bouajjani A, 1995, LECT NOTES COMPUT SC, V939, P437