A JAVA tool implementing two SMT-based methods for attractor detection and optimal control of deterministic generalized asynchronous random Boolean networks
giang-trinh / daboolnet Goto Github PK
View Code? Open in Web Editor NEWLicense: Apache License 2.0