@inproceedings{P106.128,
author={Vandierendonck, Hans and Jacquet, Jean-Marie and Nootaert, Bavo and De Bosschere, Koen},
title={A Formal Model for Microprocessor Caches},
booktitle={Proceedings of the 10th WSEAS International Conference on Computers},
year={2006},
month={7},
pages={1056-1061},
}