Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis

Bhubaneswar Mishra, Carla Piazza, Marco Antoniotti, V. Mysore, Alberto Policriti, Franz Winkler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publication17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland
StatePublished - 2005

Cite this

Mishra, B., Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., & Winkler, F. (2005). Algortihmic algebraic model checking I: The case of biochemical systems and their reachability analysis. In 17th international conference on computer aided verification (CAV '05), Edinburgh, Scotland