DBLP Record 'conf/cata/AugeRMRB01'

BibTeX

@inproceedings{DBLP:conf/cata/AugeRMRB01,
  author    = {Patrick Aug{\'e} and
               Brigitte Rozoy and
               T. Maurin and
               Roger Reynaud and
               Kamel Bouchefra},
  title     = {Simulation and verification of an embedded system},
  booktitle = {Computers and Their Applications},
  year      = {2001},
  pages     = {272-275},
  crossref  = {DBLP:conf/cata/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/cata/2001,
  editor    = {C. C. Hung},
  title     = {Proceedings of the ISCA 16th International Conference Computers
               and Their Applications, March 28-30, 2001, Seattle, Washington,
               USA},
  booktitle = {Computers and Their Applications},
  publisher = {ISCA},
  year      = {2001},
  isbn      = {1-880843-37-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}