@article{DBLP:journals/corr/SangnierSPT17,
  author       = {Arnaud Sangnier and
                  Nathalie Sznajder and
                  Maria Potop{-}Butucaru and
                  S{\'{e}}bastien Tixeuil},
  title        = {Parameterized Verification of Algorithms for Oblivious Robots on a
                  Ring},
  journal      = {CoRR},
  volume       = {abs/1706.05193},
  year         = {2017},
  url          = {http://arxiv.org/abs/1706.05193},
  eprinttype    = {arXiv},
  eprint       = {1706.05193},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SangnierSPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"pJ2RMkuKzApkwtz8M","bibbaseid":"sangnier-sznajder-potopbutucaru-tixeuil-parameterizedverificationofalgorithmsforobliviousrobotsonaring-2017","author_short":["Sangnier, A.","Sznajder, N.","Potop-Butucaru, M.","Tixeuil, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Arnaud"],"propositions":[],"lastnames":["Sangnier"],"suffixes":[]},{"firstnames":["Nathalie"],"propositions":[],"lastnames":["Sznajder"],"suffixes":[]},{"firstnames":["Maria"],"propositions":[],"lastnames":["Potop-Butucaru"],"suffixes":[]},{"firstnames":["Sébastien"],"propositions":[],"lastnames":["Tixeuil"],"suffixes":[]}],"title":"Parameterized Verification of Algorithms for Oblivious Robots on a Ring","journal":"CoRR","volume":"abs/1706.05193","year":"2017","url":"http://arxiv.org/abs/1706.05193","eprinttype":"arXiv","eprint":"1706.05193","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/SangnierSPT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/SangnierSPT17,\n author = {Arnaud Sangnier and\n Nathalie Sznajder and\n Maria Potop{-}Butucaru and\n S{\\'{e}}bastien Tixeuil},\n title = {Parameterized Verification of Algorithms for Oblivious Robots on a\n Ring},\n journal = {CoRR},\n volume = {abs/1706.05193},\n year = {2017},\n url = {http://arxiv.org/abs/1706.05193},\n eprinttype = {arXiv},\n eprint = {1706.05193},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/SangnierSPT17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Sangnier, A.","Sznajder, N.","Potop-Butucaru, M.","Tixeuil, S."],"key":"DBLP:journals/corr/SangnierSPT17","id":"DBLP:journals/corr/SangnierSPT17","bibbaseid":"sangnier-sznajder-potopbutucaru-tixeuil-parameterizedverificationofalgorithmsforobliviousrobotsonaring-2017","role":"author","urls":{"Paper":"http://arxiv.org/abs/1706.05193"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/45/2701.bib","dataSources":["7sjsfpwbZdJKfTRJa"],"keywords":[],"search_terms":["parameterized","verification","algorithms","oblivious","robots","ring","sangnier","sznajder","potop-butucaru","tixeuil"],"title":"Parameterized Verification of Algorithms for Oblivious Robots on a Ring","year":2017}