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]
No references recorded for this publication.
No citations of this publication recorded.