Picosecond Widely-Tunable Mid-IR Source for Gas Detection | IEEE Conference Publication | IEEE Xplore