Design of a lanthanum bromide detector for time-of-flight PET | IEEE Journals & Magazine | IEEE Xplore