Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology

V. Mysore, C. Piazza, B. Mishra

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science