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}
}