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.

Pseudo-Exhaustive Verification of Rule Based Systems

Rick Kuhn, Dylan Yaga, Raghu Kacker, Jeff Lei, Vincent C. Hu. Pseudo-Exhaustive Verification of Rule Based Systems. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 586-585, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]

Authors

Rick Kuhn

This author has not been identified. Look up 'Rick Kuhn' in Google

Dylan Yaga

This author has not been identified. Look up 'Dylan Yaga' in Google

Raghu Kacker

This author has not been identified. Look up 'Raghu Kacker' in Google

Jeff Lei

This author has not been identified. Look up 'Jeff Lei' in Google

Vincent C. Hu

This author has not been identified. Look up 'Vincent C. Hu' in Google
runs on