Author:
Abrial Jean-Raymond,Su Wen,Zhu Huibiao
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Back, R.J., Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transaction on Programming Languages and Systems 10(4), 513–554 (1988)
2. Lecture Notes in Computer Science;R.-J. Back,2000
3. Back, R.J., Cerschi Seceleanu, C., Westerholm, J.: Symbolic Simulation of Hybrid Systems. In: APSEC 2002 (2002)
4. Platzer, A.: Logical Analysis of Hybrid Systems. Springer (2010)
5. Lecture Notes in Computer Science;A. Platzer,2009
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献