Haijun Gong, Qinsi Wang, Paolo Zuliani, James R. Faeder, Michael Lotze. Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. In Hisham Al-Mubaid, editor, Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, BICoB-2011, March 23-25, 2011, Holiday Inn Downtown-Superdome, New Orleans, Louisiana, USA. pages 245, ISCA, 2011.
Abstract is missing.