Article citationsMore>>
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S. (1995) The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138, 3-34.
https://doi.org/10.1016/0304-3975(94)00202-T
has been cited by the following article:
Related Articles:
-
Mahendra Dia, Todd C. Wehner, Consuelo Arellano
-
Blake M. Bodendorfer, Zachary M. Downs, Isaac B. Henson, Lakshmi N. Roy, Rabindra N. Roy, Jessica M. Stegner, Jaime A. Veliz, Joshua T. Wollen
-
Ngozi Grace Emordi, Iweriolor Sunday, Onyekpe Basil Obimma
-
Romana Xerez
-
Takanori Miyake, Tetsuo Honma, Hiroshi Arimatsu, Hiroto Fukunishi, Huimin Liu, Makoto Sano, Yuuki Kakutani, Mitsumasa Okada, Kaori Shimizu, Setsuo Yoshida, Kazumasa Suetsugu