Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
43 Publications
1994 |
Published |
Conference Paper |
IST-REx-ID: 4614
Alur, Rajeev, et al. “The Observational Power of Clocks.” 5th International Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4615
Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.” International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
View
| DOI
| Download None (ext.)
1994 |
Published |
Conference Paper |
IST-REx-ID: 4617
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View
| DOI
| Download None (ext.)