Consistency verification of UML diagrams based on process bisimulation, presented at PRDC 2013

by Tomoyuki Yokogawa, Sousuke Amasaki, Hisashi Miyazaki, Keisuke Okazaki, Yoichiro Sato, Kazutami Arimoto,

Summary : N/A