Author:
Johnson Taylor T.,Mitra Sayan
Publisher
Springer International Publishing
Reference23 articles.
1. Lecture Notes in Computer Science;G. Basler,2009
2. Lecture Notes in Computer Science;G. Behrmann,2003
3. Lecture Notes in Computer Science;J. Bengtsson,1996
4. Bogomolov, S., Herrera, C., Muñiz, M., Westphal, B., Podelski, A.: Quasi-dependent variables in hybrid automata. In: 17th International Conference on Hybrid Systems: Computation and Control (2014)
5. Lecture Notes in Computer Science;V. Braberman,2002
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献