BoNesis: a Python-based declarative environment for the verification, reprogramming, and synthesis of Most Permissive Boolean networks S Chevalier, D Boyenval, G Magaña-López, T Roncalli, A Vaginay, ... International Conference on Computational Methods in Systems Biology, 71-79, 2024 | 3 | 2024 |