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.

Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning

Ghiath Al Sammane, Dominique Borrione, Remy Chevallier. Verification of behavioral descriptions by combining symbolic simulation and automatic reasoning. In John Lach, Gang Qu, Yehea I. Ismail, editors, Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, Chicago, Illinois, USA, April 17-19, 2005. pages 260-263, ACM, 2005. [doi]

Authors

Ghiath Al Sammane

This author has not been identified. Look up 'Ghiath Al Sammane' in Google

Dominique Borrione

This author has not been identified. Look up 'Dominique Borrione' in Google

Remy Chevallier

This author has not been identified. Look up 'Remy Chevallier' in Google
runs on