Author:
Casagrande Alberto,Corvaja Pietro,Piazza Carla,Mishra Bud
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;A. Casagrande,2007
2. Casagrande, A., Corvaja, P., Piazza, C., Mishra, B.: Parallel composition of semi-algebraic o-minimal automata (January 2008), http://www.dimi.uniud.it/piazza/PAPERS/parallel.pdf
3. Alur, R., Henzinger, T.A., Ho, P.H.: Automatic Symbolic Verification of Embedded Systems. In: IEEE Real-Time Systems Symposium 1993, pp. 2–11. IEEE Press, Los Alamitos (1993)
4. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.: What’s decidable about hybrid automata? In: Proc. of Symp. on Theory of Computing (STOCS 1995), pp. 373–382 (1995)
5. Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems 13, 1–21 (2000)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献