Cited By
View all- Mahe EBannour BGaston CLe Gall P(2024)Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline RemovalScience of Computer Programming10.1016/j.scico.2024.103230(103230)Online publication date: Nov-2024