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.
1 Publication
1998 | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. 1998. Symbolic exploration of transition hierarchies. Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1384, 330–344.
View
| DOI