Algorithmic Algebraic Model Checking I: Challenges from Systems Biology - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra. Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. In Kousha Etessami, Sriram K. Rajamani, editors, Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings. Volume 3576 of Lecture Notes in Computer Science, pages 5-19, Springer, 2005. [doi]

This author has not been identified. Look up 'Carla Piazza' in GoogleThis author has not been identified. Look up 'Marco Antoniotti' in GoogleThis author has not been identified. Look up 'Venkatesh Mysore' in GoogleThis author has not been identified. Look up 'Alberto Policriti' in GoogleThis author has not been identified. Look up 'Franz Winkler' in GoogleThis author has not been identified. Look up 'Bud Mishra' in Google

runs on WebDSL