Author:
Henzinger Thomas A.,Wong-Toi Howard
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. J.-R. Abrial, E. Börger, and H. Langmaack. The steam-boiler case study project. An introduction. This volume.
2. J.-R. Abrial. Steam-boiler control specification problem. This volume.
3. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
4. R. Alur, C. Courcoubetis, T.A. Henzinger, and P.-H. Ho. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems I, Lecture Notes in Computer Science 736, pp. 209–229. Springer-Verlag, 1993.
5. R. Alur, T.A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Trans. Software Engineering, 22:181–201, 1996.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献