%0 Journal Article %1 journals/corr/AkhtarM16 %A Akhtar, Nadeem %A Missen, Malik Muhammad Saad %D 2016 %J CoRR %K dblp %T Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System. %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#AkhtarM16 %V abs/1604.05577

@article{journals/corr/AkhtarM16, added-at = {2019-05-29T00:00:00.000+0200}, author = {Akhtar, Nadeem and Missen, Malik Muhammad Saad}, biburl = {https://www.bibsonomy.org/bibtex/2ca9cd57418fe9cbb8aa87b2c88285c8c/dblp}, ee = {http://arxiv.org/abs/1604.05577}, interhash = {d319cd5fa6125e50519c338f1cfd7db3}, intrahash = {ca9cd57418fe9cbb8aa87b2c88285c8c}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-05-30T11:44:23.000+0200}, title = {Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#AkhtarM16}, volume = {abs/1604.05577}, year = 2016 }