@article{MP98,
AUTHOR = {Müller, S.M. and Paul, W.J.},
TITLE = {On the Correctness of Hardware Scheduling Mechanisms for Out-Of-Order Execution},
VOLUME = {8},
YEAR = {1998},
PAGES = {301--314},
URL = {http:///publikationen/MP98.pdf},
SERIES = {Journal of Circuits, Systems and Computers},
PUBLISHER = {World Scientific Publishers},
}