当前位置:
X-MOL 学术
›
Form. Asp. Comput.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Review on Logical Analysis of Hybrid Systems By André Platzer Springer, 2010, 426 pages, ISBN 978-3-642-14508-7link.springer.com/book/10.1007/978-3-642-14509-4
Formal Aspects of Computing ( IF 1 ) Pub Date : 2023-01-29 , DOI: https://dl.acm.org/doi/10.1145/3561612 Gabriele Paveri Fontana
更新日期:2023-01-30
Formal Aspects of Computing ( IF 1 ) Pub Date : 2023-01-29 , DOI: https://dl.acm.org/doi/10.1145/3561612 Gabriele Paveri Fontana
No abstract available.