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

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

[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || An approach to the description and analysis of hybrid systems

[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || An approach to the description and analysis of hybrid systems

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

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

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