Searching for "Model Checking Genetic Regulatory Networks with Parameter Uncertainty." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model checking liveness properties of genetic regulatory networks
by Grégory Batt, Calin Belta — 2007 — Tools and Algorithms for the Construction and Analysis of Systems, TACAS’07, Lecture Notes in Computer Science 4424, 323–338
…Model Checking Liveness Properties of Genetic Regulatory Networks Grégory Batt 1 , Calin Belta 1…
Cited by 7 (3 self) – Add To MetaCart

of Genetic Regulatory Networks Robustness Analysis and Tuning
by unknown authors
…. Belta and R. Weiss (2007) Model checking liveness properties of genetic regulatory networks. In HSCC’07…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB