@article{DBLP:journals/ras/DixonWFZ12,
  author    = {Clare Dixon and
               Alan F. T. Winfield and
               Michael Fisher and
               Chengxiu Zeng},
  title     = {Towards temporal verification of swarm robotic systems},
  journal   = {Robotics and Autonomous Systems},
  volume    = {60},
  number    = {11},
  pages     = {1429--1441},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.robot.2012.03.003},
  doi       = {10.1016/j.robot.2012.03.003},
  timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ras/DixonWFZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"S2e3yjkk2c9iiChs5","bibbaseid":"dixon-winfield-fisher-zeng-towardstemporalverificationofswarmroboticsystems-2012","downloads":0,"creationDate":"2016-05-26T11:21:07.941Z","title":"Towards temporal verification of swarm robotic systems","author_short":["Dixon, C.","Winfield, A. F. T.","Fisher, M.","Zeng, C."],"year":2012,"bibtype":"article","biburl":"https://dblp.org/pid/f/MichaelFisher.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Alan","F.","T."],"propositions":[],"lastnames":["Winfield"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["Chengxiu"],"propositions":[],"lastnames":["Zeng"],"suffixes":[]}],"title":"Towards temporal verification of swarm robotic systems","journal":"Robotics and Autonomous Systems","volume":"60","number":"11","pages":"1429–1441","year":"2012","url":"https://doi.org/10.1016/j.robot.2012.03.003","doi":"10.1016/j.robot.2012.03.003","timestamp":"Tue, 20 Feb 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/ras/DixonWFZ12","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ras/DixonWFZ12,\n author = {Clare Dixon and\n Alan F. T. Winfield and\n Michael Fisher and\n Chengxiu Zeng},\n title = {Towards temporal verification of swarm robotic systems},\n journal = {Robotics and Autonomous Systems},\n volume = {60},\n number = {11},\n pages = {1429--1441},\n year = {2012},\n url = {https://doi.org/10.1016/j.robot.2012.03.003},\n doi = {10.1016/j.robot.2012.03.003},\n timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/ras/DixonWFZ12},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dixon, C.","Winfield, A. F. T.","Fisher, M.","Zeng, C."],"key":"DBLP:journals/ras/DixonWFZ12","id":"DBLP:journals/ras/DixonWFZ12","bibbaseid":"dixon-winfield-fisher-zeng-towardstemporalverificationofswarmroboticsystems-2012","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.robot.2012.03.003"},"downloads":0,"html":""},"search_terms":["towards","temporal","verification","swarm","robotic","systems","dixon","winfield","fisher","zeng"],"keywords":["dblp"],"authorIDs":["54795f1c8a7c93e0600008be"],"dataSources":["dNrJbhueP34xdF85Y"]}