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.

Verifying SystemC with predicate abstraction: A component based approach

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. Verifying SystemC with predicate abstraction: A component based approach. In IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013. pages 536-545, IEEE, 2013. [doi]

Authors

Nesrine Harrath

This author has not been identified. Look up 'Nesrine Harrath' in Google

Bruno Monsuez

This author has not been identified. Look up 'Bruno Monsuez' in Google

Kamel Barkaoui

This author has not been identified. Look up 'Kamel Barkaoui' in Google
runs on