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.

A Verification Approach for GALS Integration of Synchronous Components

Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin. A Verification Approach for GALS Integration of Synchronous Components. Electronic Notes in Theoretical Computer Science, 146(2):105-131, 2006. [doi]

Authors

Frederic Doucet

This author has not been identified. Look up 'Frederic Doucet' in Google

Massimiliano Menarini

This author has not been identified. Look up 'Massimiliano Menarini' in Google

Ingolf H. Krüger

This author has not been identified. Look up 'Ingolf H. Krüger' in Google

Rajesh K. Gupta

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

Jean-Pierre Talpin

This author has not been identified. Look up 'Jean-Pierre Talpin' in Google
runs on