共 44 条
[1]
Alberti F., 2011, P 6 ACM S INF COMP C, P165
[2]
[Anonymous], P 10 IEEE INT S IND
[3]
[Anonymous], P 2 ACM WKSP ASS US
[4]
[Anonymous], 3592012 ANSI INCITS
[5]
[Anonymous], P 43 IEEE HAW INT C
[7]
Bengtsson J., 1996, Hybrid Systems III. Verification and Control, P232, DOI 10.1007/BFb0020949