TY  - RPRT
TI  - Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling
AU  - Morris Wright, Karla Vanessa
AU  - Son hoang, Thai
AU  - Snook, Colin
AU  - Butleer, Michael
PY  - 2023
DO  - 10.1007/978-3-031-47963-2_12
UR  - https://www.osti.gov/biblio/2584855
ID  - 2584855
ER  -