[Lecture Notes in Computer Science] Hybrid Systems III Volume 1066 || Hybrid control in Sea Traffic Management Systems
Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- 作者Alur, Rajeev; Henzinger, Thomas A.; Sontag, Eduardo D.
- 文件大小617.95KB
- 发表时间1996
- DOI10.1007/BFb0020942
- 页码149-160