Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang. Equivalence Checking of Two Statechart Specifications. In IEEE International Workshop on Rapid System Prototyping. pages 46-51, 2000. [doi]
@inproceedings{ParkBCK00,
title = {Equivalence Checking of Two Statechart Specifications},
author = {Myung-Hwan Park and Ki-Seok Bang and Jin-Young Choi and Inhye Kang},
year = {2000},
url = {http://computer.org/proceedings/rsp/0668/06680046abs.htm},
researchr = {https://researchr.org/publication/ParkBCK00},
cites = {0},
citedby = {0},
pages = {46-51},
booktitle = {IEEE International Workshop on Rapid System Prototyping},
}