Knockout prediction for reaction networks with partial kinetic information (2013)

by Mathias John, Mirabelle Nebut, Joachim Niehren
Venue:In Verification, Model Checking, and Abstract Interpretation