Gas spectroscopy with a dual-comb semiconductor disk laser | IEEE Conference Publication | IEEE Xplore