The algorithmic analysis of hybrid systems (1995)

by R. Alur , C. Courcoubetis , N. Halbwachs , T. A. Henzinger , P.-H. Ho , X. Nicollin , A. Olivero , J. Sifakis , S. Yovine
Venue:THEORETICAL COMPUTER SCIENCE
Citations:514 - 66 self

Document Versions

The algorithmic analysis of hybrid systems –R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine — 1995 — THEORETICAL COMPUTER SCIENCE
The Algorithmic Analysis of Hybrid Systems –Alur Courcoubetis, R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. -h. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine — 1995
The Algorithmic Analysis of Hybrid Systems –R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. -h. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine — 1995 — Theoretical Computer Science
The Algorithmic Analysis of Hybrid Systems –Alur Courcoubetis, R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P. -h. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine — 1995 — Theoretical Computer Science
Symbolic Analysis of Hybrid Systems –Rajeev Alur, Thomas A. Henzinger, Howard Wong-toi — 1997 — Theoretical Computer Science
Symbolic Analysis of Hybrid Systems –Rajeev Alur, Thomas A. Henzinger, Howard Wong-toi — 1997 — Theoretical Computer Science
The algorithmic analysis of hybrid systems –Rajeev Alur, Thomas A. Henzinger, Howard Wong-toi — 1995 — Theoretical Computer Science
The Algorithmic Analysis of Hybrid Systems –R. Alur , C. Courcoubetis , X. Nicollin , N. Halbwachs , T. A. Henzinger, P.-H- Ho, X. Nicollin, A. Olivero , J. Sifakis , S. Yovine — 1995