%0 Journal Article %1 journals/ieicet/MiyazakiYAAS12 %A Miyazaki, Hisashi %A Yokogawa, Tomoyuki %A Amasaki, Sousuke %A Asada, Kazuma %A Sato, Yoichiro %D 2012 %J IEICE Trans. Inf. Syst. %K dblp %N 9 %P 2193-2201 %T Synthesis and Refinement Check of Sequence Diagrams. %U http://dblp.uni-trier.de/db/journals/ieicet/ieicet95d.html#MiyazakiYAAS12 %V 95-D

@article{journals/ieicet/MiyazakiYAAS12, added-at = {2020-04-11T00:00:00.000+0200}, author = {Miyazaki, Hisashi and Yokogawa, Tomoyuki and Amasaki, Sousuke and Asada, Kazuma and Sato, Yoichiro}, biburl = {https://www.bibsonomy.org/bibtex/267c449fbcdd283e0e2004e7e786799cd/dblp}, ee = {http://search.ieice.org/bin/summary.php?id=e95-d_9_2193}, interhash = {55f730097bf3c62a55fd160a2237a053}, intrahash = {67c449fbcdd283e0e2004e7e786799cd}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, number = 9, pages = {2193-2201}, timestamp = {2020-04-14T11:49:56.000+0200}, title = {Synthesis and Refinement Check of Sequence Diagrams.}, url = {http://dblp.uni-trier.de/db/journals/ieicet/ieicet95d.html#MiyazakiYAAS12}, volume = {95-D}, year = 2012 }