Sciweavers

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

11

ATVA
2005
Springer

favoriteEmaildiscussreport

142views Hardware» more ATVA 2005»

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

13 years 10 months ago

Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology

Download cs.nyu.edu

Venkatesh Mysore, Carla Piazza, Bud Mishra

Real-time Traffic

ATVA 2005 |

claim paper

Related Content

» Using probabilistic model checking in systems biology

» Probabilistic Model Checking of Complex Biological Pathways

» Bounded Asynchrony Concurrency for Modeling CellCell Interactions

» anNET a tool for networkembedded thermodynamic analysis of quantitative metabolome data

» Lucyn a nSynchronous Extension of Lustre

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	ATVA
Authors	Venkatesh Mysore, Carla Piazza, Bud Mishra

Comments (0)