@article{P106.130,
author={Vandierendonck, Hans and Jacquet, Jean-Marie and Nootaert, Bavo and De Bosschere, Koen},
title={Formally Modeling Microprocessor Caches and Branch Predictors},
journal={WSEAS Transactions on Computers},
year={2006},
month={11},
volume={5},
number={11},
pages={2588-2595},
editor={Mastorakis, N.},
publisher={WSEAS Press},
}