TY  - RPRT
TI  - Specification and Inference of Trace Refinement Relations
AU  - Timos Antonopoulos
AU  - Eric Koskinen
AU  - Ton-Chanh Le
PY  - 2019
UR  - https://arxiv.org/abs/1903.07213
ID  - 1903.07213
ER  -