@inproceedings{JK00,
AUTHOR = {Jacobi, C. and Kröning, D.},
TITLE = {Proving the Correctness of a Complete Microprocessor},
YEAR = {2000},
URL = {http:///publikationen/JK00.pdf},
SERIES = {Informatik aktuell},
BOOKTITLE = {Informatik 2000, Proc. of the 30. Jahrestagung der Gesellschaft für Informatik},
PUBLISHER = {Springer Verlag},
EDITOR = {Mehlhorn, Kurt and Snelting, Gregor},
}