Knockout Prediction for Reaction Networks with Partial Kinetic Information.
| Autor: | John, Mathias, Nebut, Mirabelle, Niehren, Joachim |
|---|---|
| Zdroj: | Verification, Model Checking & Abstract Interpretation (9783642358722); 2013, p355-374, 20p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|