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]