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
2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:299–314. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_21.
View
| DOI
2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View
| DOI