@inproceedings{DBLP:conf/fmcad/SangnierSPT17,
  author       = {Arnaud Sangnier and
                  Nathalie Sznajder and
                  Maria Potop{-}Butucaru and
                  S{\'{e}}bastien Tixeuil},
  editor       = {Daryl Stewart and
                  Georg Weissenbacher},
  title        = {Parameterized verification of algorithms for oblivious robots on a
                  ring},
  booktitle    = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
                  Austria, October 2-6, 2017},
  pages        = {212--219},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/FMCAD.2017.8102262},
  doi          = {10.23919/FMCAD.2017.8102262},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/SangnierSPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"xENnQfkvrkPHzxPEc","bibbaseid":"sangnier-sznajder-potopbutucaru-tixeuil-parameterizedverificationofalgorithmsforobliviousrobotsonaring-2017","author_short":["Sangnier, A.","Sznajder, N.","Potop-Butucaru, M.","Tixeuil, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[]}],"editor":[{"firstnames":["Daryl"],"propositions":[],"lastnames":["Stewart"],"suffixes":[]},{"firstnames":["Georg"],"propositions":[],"lastnames":["Weissenbacher"],"suffixes":[]}],"title":"Parameterized verification of algorithms for oblivious robots on a ring","booktitle":"2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017","pages":"212–219","publisher":"IEEE","year":"2017","url":"https://doi.org/10.23919/FMCAD.2017.8102262","doi":"10.23919/FMCAD.2017.8102262","timestamp":"Thu, 14 Oct 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/fmcad/SangnierSPT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/fmcad/SangnierSPT17,\n author = {Arnaud Sangnier and\n Nathalie Sznajder and\n Maria Potop{-}Butucaru and\n S{\\'{e}}bastien Tixeuil},\n editor = {Daryl Stewart and\n Georg Weissenbacher},\n title = {Parameterized verification of algorithms for oblivious robots on a\n ring},\n booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,\n Austria, October 2-6, 2017},\n pages = {212--219},\n publisher = {{IEEE}},\n year = {2017},\n url = {https://doi.org/10.23919/FMCAD.2017.8102262},\n doi = {10.23919/FMCAD.2017.8102262},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/fmcad/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."],"editor_short":["Stewart, D.","Weissenbacher, G."],"key":"DBLP:conf/fmcad/SangnierSPT17","id":"DBLP:conf/fmcad/SangnierSPT17","bibbaseid":"sangnier-sznajder-potopbutucaru-tixeuil-parameterizedverificationofalgorithmsforobliviousrobotsonaring-2017","role":"author","urls":{"Paper":"https://doi.org/10.23919/FMCAD.2017.8102262"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","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}