Convertibility verification and converter synthesis: Two faces of the same coin (2002)

by Roberto Passerone , Luca De Alfaro , Thomas A. Henzinger , Alberto L. Sangiovanni-vincentelli
Venue:In International Conference on Computer Aided Design ICCAD
Citations:28 - 5 self