%0 Conference Paper %1 conf/rsp/ParkBCK00 %A Park, Myung-Hwan %A Bang, Ki-Seok %A Choi, Jin-Young %A Kang, Inhye %B IEEE International Workshop on Rapid System Prototyping %D 2000 %I IEEE Computer Society %K dblp %P 46-51 %T Equivalence Checking of Two Statechart Specifications. %U http://dblp.uni-trier.de/db/conf/rsp/rsp2000.html#ParkBCK00 %@ 0-7695-0668-2

@inproceedings{conf/rsp/ParkBCK00, added-at = {2023-03-23T00:00:00.000+0100}, author = {Park, Myung-Hwan and Bang, Ki-Seok and Choi, Jin-Young and Kang, Inhye}, biburl = {https://www.bibsonomy.org/bibtex/2e6acff9dfc9e786a61f23aa774051cb4/dblp}, booktitle = {IEEE International Workshop on Rapid System Prototyping}, crossref = {conf/rsp/2000}, ee = {https://doi.ieeecomputersociety.org/10.1109/IWRSP.2000.855185}, interhash = {0ebbc2c467412398eba7f7cea893d6d6}, intrahash = {e6acff9dfc9e786a61f23aa774051cb4}, isbn = {0-7695-0668-2}, keywords = {dblp}, pages = {46-51}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:07:21.000+0200}, title = {Equivalence Checking of Two Statechart Specifications.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp2000.html#ParkBCK00}, year = 2000 }