Laura Cifuentes Fontanals, Elisa Tonello, Heike Siebert. Control in Boolean Networks With Model Checking. Frontiers Appl. Math. Stat., 8:838546, 2022. [doi]
@article{FontanalsTS22,
title = {Control in Boolean Networks With Model Checking},
author = {Laura Cifuentes Fontanals and Elisa Tonello and Heike Siebert},
year = {2022},
doi = {10.3389/fams.2022.838546},
url = {https://doi.org/10.3389/fams.2022.838546},
researchr = {https://researchr.org/publication/FontanalsTS22},
cites = {0},
citedby = {0},
journal = {Frontiers Appl. Math. Stat.},
volume = {8},
pages = {838546},
}