@inproceedings{99MPK,
  title = "Proving the Correctness of Processors with Delayed Branch using Delayed {PC}",
  author = "Mueller, Silvia M. and Paul, Wolfgang and Kroening, Daniel",
  year = "2000",
  booktitle = "Numbers, Information and Complexity",
  editor = "Althoefer, I. and Cai, N. and Dueck, G. and Khachatrian, L. and Pinsker, M. and Sarkozy, A. and Wegener, I. and Zhang Z.",
  pages = "579--588",
  publisher = "Kluwer",
}