Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin.”https://doi.org/10.1145/774572.774592__In Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, 132–39. IEEE, 2002.https://doi.org/10.1145/774572.774592 .
LibreCat: https://research-explorer.ista.ac.at/record/4413
DOI: 10.1145/774572.774592