John Heath, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker, Oksana Tymchyshyn. Probabilistic Model Checking of Complex Biological Pathways. In Corrado Priami, editor, Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings. Volume 4210 of Lecture Notes in Computer Science, pages 32-47, Springer, 2006. [doi]
Abstract is missing.