External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal analysis for logical models of pancreatic cancer

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]

Authors

Haijun Gong

This author has not been identified. Look up 'Haijun Gong' in Google

Paolo Zuliani

This author has not been identified. Look up 'Paolo Zuliani' in Google

Qinsi Wang

This author has not been identified. Look up 'Qinsi Wang' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google
runs on