Equivalence Checking of Two Statechart Specifications.
Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang
VenueCRSP
Year2000
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/ParkBCK00 ↗
Browse the full RSP paper archive.