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]
@inproceedings{Talcott16,
title = {The Pathway Logic formal modeling system: Diverse views of a formal representation of signal transduction},
author = {Carolyn L. Talcott},
year = {2016},
doi = {10.1109/BIBM.2016.7822740},
url = {http://doi.ieeecomputersociety.org/10.1109/BIBM.2016.7822740},
researchr = {https://researchr.org/publication/Talcott16},
cites = {0},
citedby = {0},
pages = {1468-1476},
booktitle = {IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016, Shenzhen, China, December 15-18, 2016},
editor = {Tianhai Tian and Qinghua Jiang and Yunlong Liu and Kevin Burrage and Jiangning Song and Yadong Wang and Xiaohua Hu and Shinichi Morishita and Qian Zhu and Guohua Wang},
publisher = {IEEE},
isbn = {978-1-5090-1611-2},
}