A Picosecond Resolution Time Digitizer for Laser Ranging | IEEE Journals & Magazine | IEEE Xplore