Analyzing Pathways Using SAT-Based Approaches
From MaRDI portal
Publication:5429360
DOI10.1007/978-3-540-73433-8_12zbMath1126.92021MaRDI QIDQ5429360
Keith Laderoute, Merrill Knapp, Ashish Kumar Tiwari, Carolyn L. Talcott, Patrick D. Lincoln
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_12
37N25: Dynamical systems in biology
92C45: Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.)
92C40: Biochemistry, molecular biology
94C99: Circuits, networks
92B05: General biology and biomathematics
Related Items