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.

Application of interface theories to the separate compilation of synchronous programs

Albert Benveniste, Benoît Caillaud, Jean-Baptiste Raclet. Application of interface theories to the separate compilation of synchronous programs. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7252-7258, IEEE, 2012. [doi]

Authors

Albert Benveniste

This author has not been identified. Look up 'Albert Benveniste' in Google

Benoît Caillaud

This author has not been identified. It may be one of the following persons: Look up 'Benoît Caillaud' in Google

Jean-Baptiste Raclet

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