TY  - RPRT
TI  - Effective Sequential Protocol Composition in Maude-NPA
AU  - Sonia Santiago
AU  - Santiago Escobar
AU  - Catherine Meadows
AU  - José Meseguer
PY  - 2016
UR  - https://arxiv.org/abs/1603.00087
ID  - 1603.00087
ER  -