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.

A small-step approach to multi-trace checking against interactions

Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. A small-step approach to multi-trace checking against interactions. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, Eunjee Song, editors, SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. pages 1815-1822, ACM, 2021. [doi]

Authors

Erwan Mahe

This author has not been identified. Look up 'Erwan Mahe' in Google

Boutheina Bannour

This author has not been identified. Look up 'Boutheina Bannour' in Google

Christophe Gaston

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

Arnault Lapitre

This author has not been identified. Look up 'Arnault Lapitre' in Google

Pascale Le Gall

This author has not been identified. Look up 'Pascale Le Gall' in Google
runs on