High-Tc dc SQUID cooled by pulse-tube cooler and corrosion measurements | IEEE Journals & Magazine | IEEE Xplore