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
2005 |
Published |
Conference Paper |
IST-REx-ID: 4560
A. Chakrabarti, K. Chatterjee, T. A. Henzinger, O. Kupferman, and R. Majumdar, “Verifying quantitative properties using bound functions,” in Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods, Saarbrücken, Germany, 2005, vol. 3725, pp. 50–64.
View
| DOI