Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra

Browse the full CAV paper archive.