Login / Signup

Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal.

Erwan MaheBoutheina BannourChristophe GastonPascale Le Gall
Published in: CoRR (2024)
Keyphrases