BibTeX records: K. W. Conradt

download as .bib file

@inproceedings{DBLP:conf/dac/ChandrasekharPC87,
  author    = {Mandalagiri S. Chandrasekhar and
               J. P. Privitera and
               K. W. Conradt},
  title     = {Application of Term Rewriting Techniques to Hardware Design Verification},
  booktitle = {{DAC}},
  pages     = {277--282},
  publisher = {{IEEE} Computer Society Press / {ACM}},
  year      = {1987}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics