Equivalence checking of two statechart specifications
- Myung Hwan Park
- , Ki Seok Bang
- , Jin Young Choi
- , Inhye Kang
- Korea University
Research output: Contribution to journal › Article › peer-review
9
Scopus
citations