Picosecond Time Measuremnts with a Linear Accelerator and RF Separator | IEEE Journals & Magazine | IEEE Xplore