%0 Journal Article %1 journals/fac/YamagataKFTO014 %A Yamagata, Yoriyuki %A Kong, Weiqiang %A Fukuda, Akira %A Tang, Nguyen Van %A Ohsaki, Hitoshi %A Taguchi, Kenji %D 2014 %J Formal Aspects Comput. %K dblp %N 5 %P 943-962 %T A formal semantics of extended hierarchical state transition matrices using CSP#. %U http://dblp.uni-trier.de/db/journals/fac/fac26.html#YamagataKFTO014 %V 26

@article{journals/fac/YamagataKFTO014, added-at = {2022-05-09T00: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/2cc48298be20d8d496f41e702d58b03da/dblp}, ee = {https://doi.org/10.1007/s00165-013-0282-7}, interhash = {621b0b26ff0c57c6e9a58579f48be4b4}, intrahash = {cc48298be20d8d496f41e702d58b03da}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 5, pages = {943-962}, timestamp = {2024-04-09T05:37:36.000+0200}, title = {A formal semantics of extended hierarchical state transition matrices using CSP#.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac26.html#YamagataKFTO014}, volume = 26, year = 2014 }