Stéphanie Chevalier, Déborah Boyenval, Gustavo Magaña López, Théo Roncalli, Athénaïs Vaginay, Loïc Paulevé. BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks. In Roberta Gori, Paolo Milazzo, Mirco Tribastone, editors, Computational Methods in Systems Biology - 22nd International Conference, CMSB 2024, Pisa, Italy, September 16-18, 2024, Proceedings. Volume 14971 of Lecture Notes in Computer Science, pages 71-79, Springer, 2024. [doi]
Abstract is missing.