External Links

Cite Key

Statistics

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

PDF

Tags

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.

Mixed symbolic representations for model checking software programs

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic. Mixed symbolic representations for model checking software programs. In 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA. pages 17-26, IEEE, 2006. [doi]

Authors

Zijiang Yang

This author has not been identified. Look up 'Zijiang Yang' in Google

Chao Wang

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

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google

Franjo Ivancic

This author has not been identified. It may be one of the following persons: Look up 'Franjo Ivancic' in Google
runs on