TY  - RPRT
TI  - Protocol Analysis with Time
AU  - Damián Aparicio-Sánchez
AU  - Santiago Escobar
AU  - Catherine Meadows
AU  - Jose Meseguer
AU  - Julia Sapiña
PY  - 2020
UR  - https://arxiv.org/abs/2010.13707
ID  - 2010.13707
ER  -