Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke. Formal analysis for logical models of pancreatic cancer. In Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, USA, December 12-15, 2011. pages 4855-4860, IEEE, 2011. [doi]
@inproceedings{GongZWC11,
title = {Formal analysis for logical models of pancreatic cancer},
author = {Haijun Gong and Paolo Zuliani and Qinsi Wang and Edmund M. Clarke},
year = {2011},
doi = {10.1109/CDC.2011.6161052},
url = {http://dx.doi.org/10.1109/CDC.2011.6161052},
researchr = {https://researchr.org/publication/GongZWC11},
cites = {0},
citedby = {0},
pages = {4855-4860},
booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011, Orlando, FL, USA, December 12-15, 2011},
publisher = {IEEE},
isbn = {978-1-61284-800-6},
}