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