PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
CABEAN 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
Date de publication/diffusion :
2021
Nom de la manifestation :
24th International Symposium on Formal Methods
Date de la manifestation :
2021
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 24th International Symposium on Formal Methods (FM 2021)
Maison d'édition :
Springer
Collection et n° de collection :
LNCS 13047
Pagination :
581-598
Peer reviewed :
Peer reviewed
Projet FnR :
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
