Krischer92'

BibTeX

@inproceedings{DBLP:conf/ifip10-2/Krischer92,
  author    = {Stefan Krischer},
  title     = {Incomplete TRS-Specifications of Boolean Functions and their
               Verification},
  booktitle = {Designing Correct Circuits},
  year      = {1992},
  pages     = {67-79},
  crossref  = {DBLP:conf/ifip10-2/1992a},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip10-2/1992a,
  editor    = {J{\o}rgen Staunstrup and
               Robin Sharp},
  title     = {Designing Correct Circuits, Proceedings of the Second IFIP
               WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby,
               Denmark, 6-8 January 1992},
  booktitle = {Designing Correct Circuits},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-5},
  year      = {1992},
  isbn      = {0-444-89335-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}