DBLP Record 'conf/inforsid/BelloirR04'

BibTeX

@inproceedings{DBLP:conf/inforsid/BelloirR04,
  author    = {Nicolas Belloir and
               Fabien Romeo},
  title     = {V{\'e}rification a priori de mod{\`e}le de composition
               logicielle},
  booktitle = {INFORSID},
  year      = {2004},
  pages     = {163-178},
  crossref  = {DBLP:conf/inforsid/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/inforsid/2004,
  title     = {Actes du XXII{\`e}me Congr{\`e}s INFORSID, Biarritz,
               France, 25-28 mai, 2004},
  year      = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}