TY  - RPRT
TI  - Control in Boolean networks with model checking
AU  - Laura Cifuentes-Fontanals
AU  - Elisa Tonello
AU  - Heike Siebert
PY  - 2021
UR  - https://arxiv.org/abs/2112.10477
ID  - 2112.10477
ER  -