TY  - RPRT
TI  - Verification of Asynchronous Systems with an Unspecified Component
AU  - Rosa Abbasi
AU  - Fatemeh Ghassemi
AU  - Ramtin Khosravi
PY  - 2017
UR  - https://arxiv.org/abs/1709.03245
ID  - 1709.03245
ER  -