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]
@article{PagliariniSPB15,
title = {Combining flux balance analysis and model checking for metabolic network validation and analysis},
author = {Roberto Pagliarini and Mara Sangiovanni and Adriano Peron and Diego di Bernardo},
year = {2015},
doi = {10.1007/s11047-014-9419-8},
url = {http://dx.doi.org/10.1007/s11047-014-9419-8},
researchr = {https://researchr.org/publication/PagliariniSPB15},
cites = {0},
citedby = {0},
journal = {Natural Computing},
volume = {14},
number = {3},
pages = {341-354},
}