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 |Published| Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 299–314.
View | DOI
 

2000 |Published| Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2000, pp. 142–156.
View | DOI
 

Filters and Search Terms

isbn=9783540672821

Search

Filter Publications

  • Display / Sort

    Export / Embed