TY  - RPRT
TI  - Modeling the Semantics of States and State Machines
AU  - Sabah Al-Fedaghi
PY  - 2020
DO  - 10.3844/jcssp.2020.891.905
UR  - https://arxiv.org/abs/2007.07138
ID  - 2007.07138
ER  -