Generation of narrow-bandwidth tunable picosecond IR pulses by difference frequency mixing of stretched pulses | IEEE Conference Publication | IEEE Xplore