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