Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks

Capitolo di libro
Data di Pubblicazione:
2018
Abstract:
.
Tipologia CRIS:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
SAT solver; Discrete dynamical systems; Tarjan's algorithm; Gene regulatory networks; Strongly connected components
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/355166