Analysis and Verification of Robustness Properties in Becker-Döring Model

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]

Authors

Lucia Nasti

This author has not been identified. Look up 'Lucia Nasti' in Google

Roberta Gori

This author has not been identified. Look up 'Roberta Gori' in Google

Paolo Milazzo

This author has not been identified. Look up 'Paolo Milazzo' in Google