Searching for "Algorithmic Algebraic Model Checking II Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Algorithmic Algebraic Model Checking II:
by Decidability Of Semi-Algebraic, V. Mysore, C. Piazza, B. Mishra — 2005 — In Automated Technology for Verification and Analysis (ATVA
…Algorithmic Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its…
Add To MetaCart

Showing 1 through 1.

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