%0 Journal Article %1 journals/sigsoft/YamagataKFTOT12 %A Yamagata, Yoriyuki %A Kong, Weiqiang %A Fukuda, Akira %A Tang, Nguyen Van %A Ohsaki, Hitoshi %A Taguchi, Kenji %D 2012 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 1-8 %T Formal semantics of extended hierarchical state transition matrix by CSP. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft37.html#YamagataKFTOT12 %V 37

@article{journals/sigsoft/YamagataKFTOT12, added-at = {2020-09-17T00:00:00.000+0200}, author = {Yamagata, Yoriyuki and Kong, Weiqiang and Fukuda, Akira and Tang, Nguyen Van and Ohsaki, Hitoshi and Taguchi, Kenji}, biburl = {https://www.bibsonomy.org/bibtex/2bea9b8c8d8eb172995aac0502e768bcb/dblp}, ee = {https://doi.org/10.1145/2237796.2237815}, interhash = {0febc0055e12473b3c9477765ee1ce44}, intrahash = {bea9b8c8d8eb172995aac0502e768bcb}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = {1-8}, timestamp = {2020-09-18T11:38:26.000+0200}, title = {Formal semantics of extended hierarchical state transition matrix by CSP.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft37.html#YamagataKFTOT12}, volume = 37, year = 2012 }