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.

Orchestration Synthesis for Real-Time Service Contracts

Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez. Orchestration Synthesis for Real-Time Service Contracts. In Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez, editors, Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Volume 11181 of Lecture Notes in Computer Science, pages 31-47, Springer, 2018. [doi]

Authors

Davide Basile

This author has not been identified. Look up 'Davide Basile' in Google

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google

Louis-Marie Traonouez

This author has not been identified. Look up 'Louis-Marie Traonouez' in Google
runs on