发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems

Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans

作者Grossman, Robert L.; Nerode, Anil; Ravn, Anders P.; Rischel, Hans
文件大小1146.87KB
发表时间1993
DOI10.1007/3-540-57318-6_30
页码209-229

← 返回【学霸图书馆】主页