DBLP Record 'conf/inforsid/Habrias96'

BibTeX

@inproceedings{DBLP:conf/inforsid/Habrias96,
  author    = {Henri Habrias},
  title     = {L'utilisation de la m{\'e}thode NIAM pour construire
               une sp{\'e}cification formelle bas{\'e}e sur un {\'e}tat},
  booktitle = {INFORSID},
  year      = {1996},
  pages     = {79-98},
  crossref  = {DBLP:conf/inforsid/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/inforsid/1996,
  title     = {Actes du XIV{\`e}me Congr{\`e}s INFORSID, Bordeaux,
               France, 4-7 juin, 1996},
  booktitle = {INFORSID},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}