[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Timing analysis in COSPAN
Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- 作者Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- 文件大小757.13KB
- 发表时间1996
- DOI10.1007/BFb0020948
- 页码220-231