TY  - RPRT
TI  - Methods to Expand Cell Signaling Models using Automated Reading and Model Checking
AU  - Kai-Wen Liang
AU  - Qinsi Wang
AU  - Cheryl Telmer
AU  - Divyaa Ravichandran
AU  - Peter Spirtes
AU  - Natasa Miskov-Zivanov
PY  - 2017
UR  - https://arxiv.org/abs/1706.05094
ID  - 1706.05094
ER  -