Andreea Beica, Jérôme Feret, Tatjana Petrov. Tropical Abstraction of Biochemical Reaction Networks with Guarantees. In Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Volume 350 of Electronic Notes in Theoretical Computer Science, pages 3-32, Elsevier, 2020. [doi]
@inproceedings{BeicaFP20,
title = {Tropical Abstraction of Biochemical Reaction Networks with Guarantees},
author = {Andreea Beica and Jérôme Feret and Tatjana Petrov},
year = {2020},
doi = {10.1016/j.entcs.2020.06.002},
url = {https://doi.org/10.1016/j.entcs.2020.06.002},
researchr = {https://researchr.org/publication/BeicaFP20},
cites = {0},
citedby = {0},
pages = {3-32},
booktitle = {Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018},
volume = {350},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}