AUTHOR = {Kröning, D. and Müller, S.M. and Paul, W.J.},
TITLE = {Proving the Correctness of Processors with Delayed Branch using Delayed PCs},
YEAR = {2000},
PAGES = {579--588},
URL = {http:///publikationen/KMP00b.pdf},
BOOKTITLE = {Numbers, Information and Complexity. Proc. Coll. in honor of R. Ahlswede at the occasion of his 60th birthday (1998)},
PUBLISHER = {Kluwer Academic Publishers},
EDITOR = {Althoefer and N. Cai and G. Dueck and L. Khachatrian and M. S. Pinsker and A. Sarkoezy and I. Wegener and Z. Zhang},