Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks

Chapter
Publication Date:
2018
abstract:
.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
SAT solver; Discrete dynamical systems; Tarjan's algorithm; Gene regulatory networks; Strongly connected components
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/355166