[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || A dynamical simulation facility for hybrid systems
- 作者Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans
- 文件大小668.42KB
- 发表时间1993
- DOI10.1007/3-540-57318-6_32
- 页码255-267
同作者推荐
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1993 Volume 711 || Image compression using Weighted Finite AutomataBorzyszkowski, Andrzej M.; Sokołowski, Stefan · 1993
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1993 Volume 711 || Verifying properties of module construction in type theoryBorzyszkowski, Andrzej M.; Sokołowski, Stefan · 1993