@inproceedings{KMP99c,
AUTHOR = {Kröning, D. and Müller, S.M. and Paul, W.J.},
TITLE = {A Rigorous Correctness Proof of the Tomasulo Scheduling Algorithm with Precise Interrupts},
YEAR = {1999},
URL = {http:///publikationen/KMP99c.pdf},
BOOKTITLE = {SCI'99/ISAS'99 International Conference},
}