Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology.
Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas, Universidad Nacional Autónoma de México , México D.F. , Mexico.
David A
DA
Rosenblueth
Boolean networks; answer set programing; attractors of Boolean networks; biochemical networks; gene regulatory networks; logic programing; model checking; synthesis of biochemical models