chenran.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc chenran.cite -ob chenran.bib -c 'author : "Ran Chen"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../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}
}