Characterization of a high-resolution analog-to-digital converter with a Josephson AC voltage source | IEEE Journals & Magazine | IEEE Xplore