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.

TESL: A language for reconciling heterogeneous execution traces

Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. TESL: A language for reconciling heterogeneous execution traces. In Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. pages 114-123, IEEE, 2014. [doi]

Authors

Frédéric Boulanger

This author has not been identified. Look up 'Frédéric Boulanger' in Google

Christophe Jacquet

This author has not been identified. Look up 'Christophe Jacquet' in Google

Cécile Hardebolle

This author has not been identified. It may be one of the following persons: Look up 'Cécile Hardebolle' in Google

Iuliana Prodan

This author has not been identified. Look up 'Iuliana Prodan' in Google
runs on