A calculation of the dynamic aperture of the LHC at collision | IEEE Conference Publication | IEEE Xplore