Using platinum silicide as a superconductor for silicon electron coolers | IEEE Conference Publication | IEEE Xplore