Consistency Verification of UML Diagrams Based on Process Bisimulation.

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

Browse the full PRDC paper archive.