TY  - RPRT
TI  - Revisiting Semantics of Interactions for Trace Validity Analysis
AU  - Erwan Mahe
AU  - Christophe Gaston
AU  - Pascale Le Gall
PY  - 2020
DO  - 10.1007/978-3-030-45234-6_24
UR  - https://arxiv.org/abs/1911.03094
ID  - 1911.03094
ER  -