Bibtex:

@inproceedings{99MPK2,
  AUTHOR    = { Mueller, Silvia
                and Paul, Wolfgang
                and Kroening, Daniel },
  TITLE     = { Proving the Correctness of Processors with Delayed Branch using Delayed {PC} },
  BOOKTITLE = { Proc.\ IEEE International High Level Design Validation and Test Workshop (HLVDT'99) },
  YEAR      = { 1999 },
  PAGES     = { 146--150 },
}

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