2007-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2007-other.cite -ob 2007-other.bib -c 'year = 2007 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@misc{cime3,
  author = {\'Evelyne Contejean and Pierre Courtieu and Julien Forest and Olivier Pons and Xavier Urbain},
  title = {{CiME3}},
  year = 2007,
  url = {{http://cime.lri.fr}},
  note = {\url{http://cime.lri.fr}},
  topics = {team,lri},
  type_publi = {autre},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}

@misc{filliatr07queens,
  author = {Jean-Christophe Filli\^atre},
  title = {{Queens on a Chessboard:
       an Exercise in Program Verification}},
  topics = {team, lri},
  type_publi = {autre},
  type_digiteo = {no},
  x-equipes = {demons PROVAL EXT},
  x-type = {manuel},
  x-support = {diffusion},
  year = 2007,
  note = {\url{http://why.lri.fr/queens/}},
  url = {http://why.lri.fr/queens/},
  x-pdf = {http://why.lri.fr/queens/queens.ps}
}