TY  - RPRT
TI  - Modeling and Testing Implementations of Protocols with Complex Messages
AU  - Tom Tervoort
AU  - I. S. W. B. Prasetya
PY  - 2018
UR  - https://arxiv.org/abs/1804.03927
ID  - 1804.03927
ER  -