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.

Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness

Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe. Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. In Alexander Raschke, Dominique Méry, Frank Houdek, editors, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Volume 12071 of Lecture Notes in Computer Science, pages 155-168, Springer, 2020. [doi]

Authors

Sarah Benyagoub

This author has not been identified. Look up 'Sarah Benyagoub' in Google

Yamine Aït Ameur

This author has not been identified. Look up 'Yamine Aït Ameur' in Google

Klaus-Dieter Schewe

This author has not been identified. Look up 'Klaus-Dieter Schewe' in Google
runs on