Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

AUTOMATICA
2008

favoriteEmaildiscussreport

74views more AUTOMATICA 2008»

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

13 years 4 months ago

Symbolic reachability analysis of genetic regulatory networks using discrete abstractions

Download www-rocq.inria.fr

screte abstractions Gr

Grégory Batt, Hidde de Jong, Michel Page, J

Real-time Traffic

AUTOMATICA 2008 | Derivatives Of | France BCenter For | Of Reachability |

claim paper

Related Content

» Compositional Reachability Analysis of Genetic Networks

» Automated Symbolic Reachability Analysis with Application to DeltaNotch Signaling Automata

» Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems

» Model Checking Liveness Properties of Genetic Regulatory Networks

» Model Checking Genetic Regulatory Networks with Parameter Uncertainty

» Combinatorial Genetic Regulatory Network Analysis Tools for High Throughput Transcriptomic...

» Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Syste...

» Hybrid Modeling and Simulation of Biomolecular Networks

» Making the Right Cut in Model Checking DataIntensive Timed Systems

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	AUTOMATICA
Authors	Grégory Batt, Hidde de Jong, Michel Page, Johannes Geiselmann

Comments (0)