TY  - RPRT
TI  - Execution of Partial State Machine Models
AU  - Mojtaba Bagherzadeh
AU  - Nafiseh Kahani
AU  - Karim Jahed
AU  - Juergen Dingel
PY  - 2021
DO  - 10.1109/tse.2020.3008850
UR  - https://arxiv.org/abs/2103.17194
ID  - 2103.17194
ER  -