%0 Journal Article %1 journals/ijsysc/ChoiKT15 %A Choi, Jiyoung %A Kim, Seungkeun %A Tsourdos, Antonios %D 2015 %J Int. J. Systems Science %K dblp %N 4 %P 634-651 %T Verification of heterogeneous multi-agent system using MCMAS. %U http://dblp.uni-trier.de/db/journals/ijsysc/ijsysc46.html#ChoiKT15 %V 46

@article{journals/ijsysc/ChoiKT15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Choi, Jiyoung and Kim, Seungkeun and Tsourdos, Antonios}, biburl = {https://www.bibsonomy.org/bibtex/25af381903642b1409ff55ddae04c6418/dblp}, ee = {https://doi.org/10.1080/00207721.2013.793890}, interhash = {1ec8d028fd28b47cca850e1212e0db9c}, intrahash = {5af381903642b1409ff55ddae04c6418}, journal = {Int. J. Systems Science}, keywords = {dblp}, number = 4, pages = {634-651}, timestamp = {2018-11-03T12:39:31.000+0100}, title = {Verification of heterogeneous multi-agent system using MCMAS.}, url = {http://dblp.uni-trier.de/db/journals/ijsysc/ijsysc46.html#ChoiKT15}, volume = 46, year = 2015 }