TY  - RPRT
TI  - Symbolic Parallel Composition for Multi-language Protocol Verification
AU  - Faezeh Nasrabadi
AU  - Robert Künnemann
AU  - Hamed Nemati
PY  - 2025
UR  - https://arxiv.org/abs/2504.06833
ID  - 2504.06833
ER  -