@inproceedings{john:hal-00692499, TITLE = {{Knockout Prediction for Reaction Networks with Partial Kinetic Information}}, AUTHOR = {John, Mathias and Nebut, Mirabelle and Niehren, Joachim}, URL = {https://hal.inria.fr/hal-00692499}, BOOKTITLE = {{14th International Conference on Verification, Model Checking, and Abstract Interpretation}}, ADDRESS = {Rome, Italy}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {7737}, PAGES = {355-374}, YEAR = {2013}, MONTH = Jan, KEYWORDS = {Constraint programming ; abstract interpretation ; systems biology ; genetic engineering ; metabolic networks}, HAL_ID = {hal-00692499}, HAL_VERSION = {v1}, }