McKeeverLD03'

BibTeX

@inproceedings{DBLP:conf/hicss/McKeeverLD03,
  author    = {Steve McKeever and
               Wayne Luk and
               Arran Derbyshire},
  title     = {Towards Verifying Parametrised Hardware Libraries with Relative
               Placement Information},
  booktitle = {HICSS},
  year      = {2003},
  pages     = {279},
  ee        = {http://computer.org/proceedings/hicss/1874/track9/187490279cabs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}