auger.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc auger.cite -ob auger.bib -c 'author : "auger"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{auger13rr1560,
  hal = {http://hal.archives-ouvertes.fr/hal-00834633},
  topics = {team},
  author = {C\'edric Auger and Zohir Bouzid and Pierre Courtieu and S\'ebastien Tixeuil and Xavier Urbain},
  title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots},
  institution = {LRI},
  year = {2013},
  type = {Research Report},
  number = {1560},
  month = jun,
  pdf = {http://hal.archives-ouvertes.fr/docs/00/83/46/33/PDF/rr.pdf},
  url = {http://arxiv.org/abs/1306.4242}
}

@phdthesis{auger13phd,
  hal = {http://tel.archives-ouvertes.fr/tel-00818169/},
  topics = {team},
  author = {C\'edric Auger},
  title = {Compilation Certifiée de {SCADE/LUSTRE}},
  school = {Universit{\'e} Paris-Sud},
  type = {Th{\`e}se de Doctorat},
  x-equipes = {demons ProVal Toccata},
  x-support = {rapport},
  x-type = {these},
  note = {\url{http://tel.archives-ouvertes.fr/tel-00818169/}},
  year = 2013,
  month = feb
}