Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks

DOI10.1007/978-3-540-73433-8_13zbMath1205.68223MaRDI 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

92C40: Biochemistry, molecular biology

68Q60: Specification and verification (program logics, model checking, etc.)

92B05: General biology and biomathematics

Uses Software

• Macaulay2
• REDLOG