In silico Modeling and Experimental Validation for Improving Methanogenesis from CO2 via M. maripaludis e-bokEngelska, 2016