Lucia Nasti, Roberta Gori, Paolo Milazzo. Analysis and Verification of Robustness Properties in Becker-Döring Model. In Juliana Bowles, Giovanna Broccia, Roberto Pellungrini, editors, From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers. Volume 13268 of Lecture Notes in Computer Science, pages 27-43, Springer, 2021. [doi]
Abstract is missing.