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]
Abstract is missing.