On algorithmic analysis of transcriptional regulation by LTL model checking
Under an Elsevier user license
open archive
Keywords
Genetic regulatory network
Piecewise-linear approximation
Model checking
Cited by (0)
Copyright © 2009 Elsevier B.V. All rights reserved.