HughesM94'

BibTeX

@inproceedings{DBLP:conf/fpl/HughesM94,
  author    = {Roger B. Hughes and
               Gerry Musgrave},
  title     = {Formal CAD Techniques for Safety-Critical FPGA Design and
               Deployment in Embedded Subsystems},
  booktitle = {FPL},
  year      = {1994},
  pages     = {135-137},
  crossref  = {DBLP:conf/fpl/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fpl/1994,
  editor    = {Reiner W. Hartenstein and
               Michal Serv\'{\i}t},
  title     = {Field-Programmable Logic, Architectures, Synthesis and Applications,
               4th International Workshop on Field-Programmable Logic and
               Applications, FPL '94, Prague, Czech Republic, September
               7-9, 1994, Proceedings},
  booktitle = {FPL},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {849},
  year      = {1994},
  isbn      = {3-540-58419-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}