共 17 条
[3]
Alur R., 1992, LECTURE NOTES COMPUT, V736, P209, DOI DOI 10.1007/3-540-57318-6_30
[4]
ASARIN A, 1994, LECTURE NOTES COMPUT, V820, P59
[6]
BROCKETT RW, 1989, LECT NOTES CONTROL I, V135, P19
[7]
BRONSTED A, 1983, INTRO CONVEX POLYTOP
[8]
COSNARD M, 1993, LECTURE NOTES COMPUT, V665, P365