Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kai-Wen Liang, Qinsi Wang, Cheryl Telmer, Divyaa Ravichandran, Peter Spirtes, Natasa Miskov-Zivanov. Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking. In Jérôme Feret, Heinz Koeppl, editors, Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings. Volume 10545 of Lecture Notes in Computer Science, pages 145-159, Springer, 2017. [doi]

This author has not been identified. Look up 'Kai-Wen Liang' in GoogleThis author has not been identified. Look up 'Qinsi Wang' in GoogleThis author has not been identified. Look up 'Cheryl Telmer' in GoogleThis author has not been identified. Look up 'Divyaa Ravichandran' in GoogleThis author has not been identified. Look up 'Peter Spirtes' in GoogleThis author has not been identified. Look up 'Natasa Miskov-Zivanov' in Google

runs on WebDSL