Author:
Laflerriere Gerardo,Pappas George J.,Sastry Shankar
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R. Alur and D.L. Dill, A theory of timed automata, Theoretical Computer Science 126 (1994), 183–235.
2. R. Alur, T.A. Henzinger, and E.D. Sontag (eds.), Hybrid systems III, Springer-Verlag, 1996.
3. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems II, Springer-Verlag, 1995.
4. P Antsaklis, W. Kohn, A. Nerode, and S. Sastry (eds.), Hybrid systems IV, Springer-Verlag, 1997.
5. Edward Bierstone and Pierre D. Milman, Semianalytic and subanalytic sets, Inst. Hautes Études Sci. Publ. Math. (1988), no. 67, 5–42.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献