Carolyn L. Talcott. The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction. In Tianhai Tian, Qinghua Jiang, Yunlong Liu, Kevin Burrage, Jiangning Song, Yadong Wang, Xiaohua Hu, Shinichi Morishita, Qian Zhu, Guohua Wang, editors, IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016, Shenzhen, China, December 15-18, 2016. pages 1468-1476, IEEE, 2016. [doi]
Abstract is missing.