Reference : Controlling large Boolean networks with temporary and permanent perturbations
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/40491
Controlling large Boolean networks with temporary and permanent perturbations
English
Su, Cui []
Paul, Soumya [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Pang, Jun mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) > ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)]
2019
Proceedings of the 23rd International Symposium on Formal Methods (FM'19)
Springer
LNCS 11800
707-724
Yes
No
International
23rd International Symposium on Formal Methods
2019
Researchers
http://hdl.handle.net/10993/40491
FnR ; FNR11191283 > Thomas Sauter > AlgoReCell > Computational Models and Algorithms for Predicting Cell Reprogramming Determinants with High Efficiency and High Fidelity > 01/03/2017 > 29/02/2020 > 2016

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
FM19.pdfAuthor postprint377.36 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.