TY  - RPRT
TI  - Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal
AU  - Erwan Mahe
AU  - Boutheina Bannour
AU  - Christophe Gaston
AU  - Pascale Le Gall
PY  - 2024
UR  - https://arxiv.org/abs/2403.03057
ID  - 2403.03057
ER  -