%0 Conference Paper %1 conf/prdc/YokogawaAOSAM13 %A Yokogawa, Tomoyuki %A Amasaki, Sousuke %A Okazaki, Keisuke %A Sato, Yoichiro %A Arimoto, Kazutami %A Miyazaki, Hisashi %B PRDC %D 2013 %I IEEE Computer Society %K dblp %P 126-127 %T Consistency Verification of UML Diagrams Based on Process Bisimulation. %U http://dblp.uni-trier.de/db/conf/prdc/prdc2013.html#YokogawaAOSAM13 %@ 978-0-7695-5130-2

@inproceedings{conf/prdc/YokogawaAOSAM13, added-at = {2016-05-19T00:00:00.000+0200}, author = {Yokogawa, Tomoyuki and Amasaki, Sousuke and Okazaki, Keisuke and Sato, Yoichiro and Arimoto, Kazutami and Miyazaki, Hisashi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27f174cce802e89e12d327320caea5c72/dblp}, booktitle = {PRDC}, crossref = {conf/prdc/2013}, ee = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2013.25}, interhash = {adbdcd6fa7aa3e8891e5d3373b0f0baf}, intrahash = {7f174cce802e89e12d327320caea5c72}, isbn = {978-0-7695-5130-2}, keywords = {dblp}, pages = {126-127}, publisher = {IEEE Computer Society}, timestamp = {2016-05-20T09:32:58.000+0200}, title = {Consistency Verification of UML Diagrams Based on Process Bisimulation.}, url = {http://dblp.uni-trier.de/db/conf/prdc/prdc2013.html#YokogawaAOSAM13}, year = 2013 }