TY  - RPRT
TI  - Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems
AU  - Erwan Mahe
AU  - Boutheina Bannour
AU  - Christophe Gaston
AU  - Arnault Lapitre
AU  - Pascale Le Gall
PY  - 2022
UR  - https://arxiv.org/abs/2212.09324
ID  - 2212.09324
ER  -