Bibtex:

@inbook{dk-gi02,
  AUTHOR    = { Kroening, Daniel },
  TITLE     = { Formal Verification of Pipelined Microprocessors },
  BOOKTITLE = { Ausgezeichnete Informatikdissertationen 2001 },
  YEAR      = { 2002 },
  PUBLISHER = { Gesellschaft fuer Informatik },
  PAGES     = { 71--80 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.