Combining flux balance analysis and model checking for metabolic network validation and analysis

Roberto Pagliarini, Mara Sangiovanni, Adriano Peron, Diego di Bernardo. Combining flux balance analysis and model checking for metabolic network validation and analysis. Natural Computing, 14(3):341-354, 2015. [doi]

Bibliographies