chenran.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc chenran.cite -ob chenran.bib -c 'author : "Ran Chen"' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
@inproceedings{chen17jfla,
  topics = {team},
  author = {Ran Chen and Jean-Jacques L\'evy},
  title = {Une preuve formelle de l'algorithme de {Tarjan-1972} pour trouver les composantes fortement connexes dans un graphe},
  crossref = {jfla17},
  hal = {https://hal.inria.fr/hal-01405424}
}
@techreport{chen16rr,
  topics = {team},
  title = {A Formal Proof of a {Unix} Path Resolution Algorithm},
  author = {Ran Chen and Martin Clochard and Claude March\'e},
  hal = {https://hal.inria.fr/hal-01406848},
  type = {Research Report},
  number = {RR-8987},
  institution = {Inria},
  year = 2016,
  month = dec
}
@proceedings{jfla17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01662072},
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Boldo, Sylvie and Signoles, Julien},
  year = 2017,
  booktitle = {Vingt-huiti\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Gourette, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}