Conservation Analysis and Discrete Probabilistic Approximations for Parameter Estimation of Biochemical Networks, O. Bouët-Willaumez, A. Le Coënt, B. Barbot, N. Pekergin, Quantitative Evaluation of SysTems + Formal Modeling and Analysis of Timed Systems (QEST+FORMATS), 2025.