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.

A Comparison of MDG and HOL for Hardware Verification

Sofiène Tahar, Paul Curzon. A Comparison of MDG and HOL for Hardware Verification. In Joakim von Wright, Jim Grundy, John Harrison, editors, Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs 96, Turku, Finland, August 26-30, 1996, Proceedings. Volume 1125 of Lecture Notes in Computer Science, pages 415-430, Springer, 1996.

Authors

Sofiène Tahar

This author has not been identified. Look up 'Sofiène Tahar' in Google

Paul Curzon

This author has not been identified. Look up 'Paul Curzon' in Google
runs on