Carla Piazza Marco Antoniotti Venkatesh Mysore Alberto Policriti Franz Winkler Bud Mishra Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. 5-19 2005 conf/cav/2005 CAV http://dx.doi.org/10.1007/11513988_3 db/conf/cav/cav2005.html#PiazzaAMPWM05