2006-journal.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2006-journal.cite -ob 2006-journal.bib -c 'year = 2006 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@article{conchon06tcs,
author = {Sylvain Conchon and Sava Krsti{\'c}},
title = {Strategies for Combining Decision Procedures},
journal = {Theoretical Computer Science},
year = 2006,
volume = 354,
number = 2,
pages = {187--210},
note = {Special Issue of TCS dedicated to a refereed
selection of papers presented at TACAS'03},
topics = {team,lri},
type_publi = {irevcomlec},
x-equipes = {demons PROVAL EXT},
x-type = {article},
x-support = {revue},
x-cle-support = {TCS}
}
@article{Filliatre99c,
author = {Jean-Christophe Filli\^atre},
title = {{Formal Proof of a Program: Find}},
journal = {Science of Computer Programming},
year = 2006,
volume = 64,
pages = {332--240},
doi = {10.1016/j.scico.2006.10.002},
x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/find.pdf},
url = {https://usr.lmf.cnrs.fr/~jcf/publis/find.pdf},
topics = {team, lri},
type_publi = {irevcomlec},
x-equipes = {demons PROVAL},
x-type = {article},
x-support = {revue},
x-cle-support = {SCP}
}
@article{girault06tecs,
author = {Alain Girault and Xavier Nicollin and Marc Pouzet},
title = {{Automatic Rate Desynchronization of Embedded Reactive
Programs}},
journal = {ACM Transactions on Embedded Computing Systems (TECS)},
volume = 5,
number = 3,
topics = {team},
year = 2006,
type_publi = {irevcomlec},
x-equipes = {demons PROVAL EXT},
x-type = {article},
x-support = {revue},
x-cle-support = {TECS}
}