Microwave Stabilization of a HEB Mixer in a Pulse-Tube Cryocooler | IEEE Journals & Magazine | IEEE Xplore