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
Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems.” In Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:144–61. Springer Nature, 2005. https://doi.org/DOI: 10.1007/11603009_13.
View
| DOI
2005 |
Published |
Conference Paper |
IST-REx-ID: 4455
Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems.” In Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, 3829:226–41. Springer Nature, 2005. https://doi.org/10.1007/11603009_18.
View
| DOI