TY  - RPRT
TI  - Automatically Checking Conformance on Asynchronous Reactive Systems
AU  - Camila Sonada Gomes
AU  - Adilson Luiz Bonifacio
PY  - 2019
UR  - https://arxiv.org/abs/1905.08914
ID  - 1905.08914
ER  -