Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking.
| Autor: | Streck, Adam, Thobe, Kirsten, Siebert, Heike |
|---|---|
| Zdroj: | Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings; 2015, p264-276, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|