Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking

Adam Streck, Kirsten Thobe, Heike Siebert. Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. In Olivier F. Roux, Jérémie Bourdon, editors, Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Volume 9308 of Lecture Notes in Computer Science, pages 264-276, Springer, 2015. [doi]

Abstract

Abstract is missing.