SawitzkiSSS00'

BibTeX

@inproceedings{DBLP:conf/asap/SawitzkiSSS00,
  author    = {Sergej Sawitzki and
               Rainer G. Spallek and
               Jens Sch{\"o}nherr and
               Bernd Straube},
  title     = {Formal Verification for Microprocessors with Extendable
               Instruction Set},
  booktitle = {ASAP},
  year      = {2000},
  pages     = {47-55},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ASAP.2000.862377},
  crossref  = {DBLP:conf/asap/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/asap/2000,
  title     = {12th IEEE International Conference on Application-Specific
               Systems, Architectures, and Processors (ASAP 2000), 10-12
               July 2000, Boston, MA, USA},
  publisher = {IEEE Computer Society},
  year      = {2000},
  isbn      = {0-7695-0716-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}