Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks

DOI10.1007/978-3-540-73433-8_13zbMath1205.68223OpenAlexW1517930711MaRDI QIDQ5429361

Bud Mishra, Venkatesh P. Mysore

Publication date: 29 November 2007

Published in: Algebraic Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73433-8_13

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Specification and verification (program logics, model checking, etc.) (68Q60) General biology and biomathematics (92B05)

Uses Software

• Macaulay2
• REDLOG

This page was built for publication: Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks