Author:
Nakajima Shin,Lamraoui Si-Mohamed
Publisher
Springer International Publishing
Reference26 articles.
1. Android.
http://developer.android.com
2. IEEE Standard 802.11, Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications (1999)
3. Lecture Notes in Computer Science;R Alur,1993
4. Alur, R., Dill, D.L.: A theory of timed automata. TCS 126, 183–235 (1994)
5. 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. Theoret. Comput. Sci 138, 3–24 (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献