%0 Journal Article %1 journals/tsmc/WangCC15 %A Wang, Can %A Cao, Longbing %A Chi, Chi-Hung %D 2015 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 8 %P 1109-1124 %T Formalization and Verification of Group Behavior Interactions. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc45.html#WangCC15 %V 45

@article{journals/tsmc/WangCC15, added-at = {2020-10-26T00:00:00.000+0100}, author = {Wang, Can and Cao, Longbing and Chi, Chi-Hung}, biburl = {https://www.bibsonomy.org/bibtex/2e407514530d20c43d9966bdd5d9130dc/dblp}, ee = {https://doi.org/10.1109/TSMC.2015.2399862}, interhash = {b284ccab2f7ff881b4e71441d438dfd6}, intrahash = {e407514530d20c43d9966bdd5d9130dc}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, number = 8, pages = {1109-1124}, timestamp = {2020-10-27T12:20:13.000+0100}, title = {Formalization and Verification of Group Behavior Interactions.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc45.html#WangCC15}, volume = 45, year = 2015 }