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
1992 | Published | Conference Paper | IST-REx-ID: 4505
Henzinger, T. A., Nicollin, X., Sifakis, J., & Yovine, S. (1992). Symbolic model checking for real-time systems. In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (pp. 394–406). Santa Cruz, CA, United States of America: IEEE. https://doi.org/10.1109/LICS.1992.185551
View
| DOI
| Download None (ext.)