Sunday, March 29, 2009
Boolean Networks with Synchronous
BNS is a software tool for computing attractors in Boolean Networks with Synchronous update. Synchronous Boolean networks [1] are used for the modeling of genetic regulatory networks.
Paper: "A SAT-Based Algorithm for Computing Attractors in Synchronous Boolean Networks", E. Dubrova, M. Teslenko, available at http://arxiv.org/abs/0901.4448, submitted to the International Conference on Computer-Aided Verification (CAV'2009), June 26 - July 2, 2009 Grenoble, France.
Paper: "A SAT-Based Algorithm for Computing Attractors in Synchronous Boolean Networks", E. Dubrova, M. Teslenko, available at http://arxiv.org/abs/0901.4448, submitted to the International Conference on Computer-Aided Verification (CAV'2009), June 26 - July 2, 2009 Grenoble, France.
