Huijs98'

BibTeX

@inproceedings{DBLP:conf/euromicro/Huijs98,
  author    = {Corrie Huijs},
  title     = {Design Correctness of Digital Systems},
  booktitle = {EUROMICRO},
  year      = {1998},
  pages     = {10030-10033},
  ee        = {http://csdl.computer.org/comp/proceedings/euromicro/1998/8646/01/864610030abs.htm},
  crossref  = {DBLP:conf/euromicro/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/euromicro/1998,
  title     = {24th EUROMICRO '98 Conference, Engineering Systems and Software
               for the Next Decade, 25-27 August 1998, Vesteras, Sweden},
  booktitle = {EUROMICRO},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-8646-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}