F. Winkler

Latest

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