TY - RPRT TI - Tropical Abstraction of Biochemical Reaction Networks with Guarantees AU - Andreea Beica AU - Jérôme Feret AU - Tatjana Petrov PY - 2019 UR - https://arxiv.org/abs/1812.11405 ID - 1812.11405 ER -