Study on Operation Semantics of Statecharts Based on LTS

• 基于LTS的Statecharts操作语义研究