V Mysore

Tolque: A Tool for Algorithmic Algebraic Model Checking
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology
Independent Dynamics Hybrid Automata in System Biology

Published with Wowchemy — the free, open source website builder that empowers creators.