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.
2 Publications
2005 |
Published |
Conference Paper |
IST-REx-ID: 4536
L. Doyen, T. A. Henzinger, and J. Raskin, “Automatic rectangular refinement of affine hybrid systems,” in Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2005, vol. 3829, pp. 144–161.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4455
T. A. Henzinger, R. Majumdar, and V. Prabhu, “Quantifying similarities between timed systems,” in Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2005, vol. 3829, pp. 226–241.
View
| DOI