Roberta Gori, Paolo Milazzo, Lucia Nasti. Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks. In Elisabetta De Maria, Ana L. N. Fred, Hugo Gamboa, editors, Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019) - Volume 3: BIOINFORMATICS, Prague, Czech Republic, February 22-24, 2019. pages 250-257, SciTePress, 2019. [doi]
Abstract is missing.