TY  - RPRT
TI  - Compositional Specifications for ioco Testing
AU  - Przemyslaw Daca
AU  - Thomas A. Henzinger
AU  - Willibald Krenn
AU  - Dejan Nickovic
PY  - 2019
UR  - https://arxiv.org/abs/1904.07083
ID  - 1904.07083
ER  -