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
2002 | Conference Paper | IST-REx-ID: 4413
R. Passerone, L. De Alfaro, T. A. Henzinger, and A. Sangiovanni Vincentelli, “Convertibility verification and converter synthesis: Two faces of the same coin,” in Proceedings of the 11th IEEE/ACM international conference on Computer-aided design, San Jose, CA, USA, 2002, pp. 132–139.
View
| DOI