2010-phd.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2010-phd.cite -ob 2010-phd.bib -c 'year = 2010 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@phdthesis{plateau10these,
author = {Florence Plateau},
title = {Mod{\`e}le n-synchrone pour la programmation de r{\'e}seaux de {Kahn} {\`a} m{\'e}moire born{\'e}e},
school = {Universit{\'e} Paris-Sud},
x-equipes = {demons PROVAL},
x-support = {rapport},
x-type = {these},
topics = {team},
type = {Th{\`e}se de Doctorat},
year = 2010
}
@phdthesis{urbain10hdr,
author = {Xavier Urbain},
title = {Preuve automatique : techniques, outils et certification},
year = {2010},
month = nov,
type = {Th\`{e}se d'habilitation},
school = {Universit{\'e} Paris-Sud 11},
type_publi = {these},
x-equipes = {demons PROVAL},
x-type = {habilitation},
x-support = {rapport},
topics = {team, proval}
}
@phdthesis{kanig10these,
author = {Johannes Kanig},
title = {Sp\'ecification et preuve de programmes d'ordre sup\'erieur},
school = {Universit{\'e} Paris-Sud},
type = {Th{\`e}se de Doctorat},
x-equipes = {demons PROVAL},
x-support = {rapport},
x-type = {these},
topics = {team},
year = 2010
}