2004-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2004-journal.cite -ob 2004-journal.bib -c 'year = 2004 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{marche2004jsc,
  author = {Claude March\'e and Xavier Urbain},
  title = {Modular and Incremental Proofs of {AC}-Termination},
  journal = {Journal of Symbolic Computation},
  volume = 38,
  pages = {873--897},
  year = 2004,
  topics = {team},
  type_digiteo = {revue_cl},
  type_publi = {irevcomlec},
  url = {http://authors.elsevier.com/sd/article/S074771710400029X}
}

@article{marche04jlap,
  author = {Claude March{\'e} and Christine Paulin-Mohring and Xavier Urbain},
  title = {The \textsc{Krakatoa} Tool for Certification of \textsc{Java/JavaCard} Programs annotated in \textsc{JML}},
  journal = {Journal of Logic and Algebraic Programming},
  year = 2004,
  volume = 58,
  number = {1--2},
  pages = {89--106},
  note = {\url{http://krakatoa.lri.fr}},
  url = {http://krakatoa.lri.fr},
  ps = {http://www.lri.fr/~marche/marche04jlap.ps},
  topics = {team},
  type_publi = {irevcomlec}
}

@article{urbain04jar,
  author = {Xavier Urbain},
  title = {Modular and Incremental Automated Termination Proofs},
  journal = {Journal of Automated Reasoning},
  year = {2004},
  volume = 32,
  pages = {315--355},
  topics = {team},
  type_publi = {irevcomlec},
  url = {http://www.lri.fr/~urbain/textes/jar.ps.gz}
}