@inproceedings{KPM00,
  title = "Proving the Correctness of Pipelined Micro-Architectures",
  author = "Kroening, Daniel and Paul, Wolfgang and Mueller, Silvia M.",
  year = "2000",
  booktitle = "Proc. of ITG/GI/GMM-Workshop ''Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen''",
  editor = "Waldschmidt, Klaus and Grimm, Christoph",
  pages = "89--98",
  publisher = "VDE Verlag",
}