V. Mysore

Latest

• Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆