Tomoyuki Yokogawa, Sousuke Amasaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto, Hisashi Miyazaki. Consistency Verification of UML Diagrams Based on Process Bisimulation. In IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013. pages 126-127, IEEE, 2013. [doi]
Abstract is missing.