DentH93'

BibTeX

@inproceedings{DBLP:conf/chdl/DentH93,
  author    = {Alan Dent and
               Keith Hanna},
  title     = {Reasoning about Array Structure Using a Dependently Typed
               Logic},
  booktitle = {CHDL},
  year      = {1993},
  pages     = {207-224},
  crossref  = {DBLP:conf/chdl/1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/chdl/1993,
  editor    = {David Agnew and
               Luc J. M. Claesen and
               Raul Camposano},
  title     = {Computer Hardware Description Languages and their Applications,
               Proceedings of the 11th IFIP WG10.2 International Conference
               on Computer Hardware Description Languages and their Applications
               - CHDL '93, sponsored by IFIP WG10.2 and in cooperation
               with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April,
               1993},
  booktitle = {CHDL},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-32},
  year      = {1993},
  isbn      = {0-444-81641-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}