TY  - RPRT
TI  - Fair Must Testing for I/O Automata
AU  - Rob van Glabbeek
PY  - 2022
DO  - 10.1007/978-3-031-15629-8_30
UR  - https://arxiv.org/abs/2212.11248
ID  - 2212.11248
ER  -