DBLP Record 'conf/iccd/BoseTJ93'

BibTeX

@inproceedings{DBLP:conf/iccd/BoseTJ93,
  author    = {Bhaskar Bose and
               M. Esen Tuna and
               Steven D. Johnson},
  title     = {System Factorization in Codesign: A Case Study of the Use
               of Formal Techniques to Achieve Hardware-Software Decomposition},
  booktitle = {ICCD},
  year      = {1993},
  pages     = {458-461},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}