Wagner93'

BibTeX

@inproceedings{DBLP:conf/chdl/Wagner93,
  author    = {Fl{\'a}vio Rech Wagner},
  title     = {Prevail-DM: A Framework-Based Environment for Formal Hardware
               Verification},
  booktitle = {CHDL},
  year      = {1993},
  pages     = {79-96},
  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}
}