Georgios Argyris, Alberto Lluch-Lafuente, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence. In Ion Petre, Andrei Paun, editors, Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings. Volume 13447 of Lecture Notes in Computer Science, pages 294-301, Springer, 2022. [doi]
Abstract is missing.