Author:
Greenstreet Mark R.,Mitchell Ian
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. R. Alur, C. Courcoubetis, N. Halbwachs, et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
2. Kenneth Arnold and James Gosling. The Java Programming Language. Addison-Wesley, 1996.
3. R. W. Brockett. Smooth dynamical systems which realize arithmetical and logical operations. In Hendrik Nijmeijer and Johannes M. Schumacher, editors, Three Decades of Mathematical Systems Theory: A Collection of Surveys at the Occasion of the 50th Birthday of J. C. Willems, volume 135 of Lecture Notes in Control and Information Sciences, pages 19–30. Springer, 1989.
4. Thao Dang and Oded Maler. Reachability analysis via face lifting. In Thomas A. Henzinger and Shankar Sastry, editors, Proceding of the First International Workshop on Hybrid Systems: Computation and Control, pages 96–109, Berkeley, California, April 1998.
5. Mark R. Greenstreet and Ian Mitchell. Integrating projections. In Thomas A. Henzinger and Shankar Sastry, editors, Proceding of the First International Workshop on Hybrid Systems: Computation and Control, pages 159–174, Berkeley, California, April 1998.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献