PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
External co-authors :
yes
Language :
English
Title :
CABEAN 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
Publication date :
2021
Event name :
24th International Symposium on Formal Methods
Event date :
2021
Audience :
International
Main work title :
Proceedings of the 24th International Symposium on Formal Methods (FM 2021)
Publisher :
Springer
Collection name :
LNCS 13047
Pages :
581-598
Peer reviewed :
Peer reviewed
FnR Project :
FNR11191283 - Computational Models And Algorithms For Predicting Cell Reprogramming Determinants With High Efficiency And High Fidelity, 2015 (01/03/2017-15/07/2021) - Thomas Sauter