Publisher
Springer International Publishing
Reference22 articles.
1. Android,
http://developer.android.com
2. Lecture Notes in Computer Science;R. Alur,1993
3. Alur, R., Henzinger, T.A.: A Really Temporal Logic. J. Accoc. Comp. Machin. 41(1), 181–204 (1994)
4. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theor. Comp. Sci. 138, 3–24 (1995)
5. Lecture Notes in Computer Science;R. Alur,2001
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The influence of the Java collection framework on overall energy consumption;Proceedings of the 5th International Workshop on Green and Sustainable Software - GREENS '16;2016