Ultrasound diagnostics of the superconducting cable connections between the main ring magnets of LHC | IEEE Conference Publication | IEEE Xplore