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]
Abstract is missing.