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]
@inproceedings{YokogawaAOSAM13,
title = {Consistency Verification of UML Diagrams Based on Process Bisimulation},
author = {Tomoyuki Yokogawa and Sousuke Amasaki and Keisuke Okazaki and Yoichiro Sato and Kazutami Arimoto and Hisashi Miyazaki},
year = {2013},
doi = {10.1109/PRDC.2013.25},
url = {http://dx.doi.org/10.1109/PRDC.2013.25},
researchr = {https://researchr.org/publication/YokogawaAOSAM13},
cites = {0},
citedby = {0},
pages = {126-127},
booktitle = {IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2-4, 2013},
publisher = {IEEE},
}