Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva. Formal Analysis of Abnormal Excitation in Cardiac Tissue. In Monika Heiner, Adelinde M. Uhrmacher, editors, Computational Methods in Systems Biology, 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Volume 5307 of Lecture Notes in Computer Science, pages 141-155, Springer, 2008.
Abstract is missing.