@inproceedings{TMM+7,
title = { Ascertaining Uncertainty for Efficient Exact Cache Analysis },
author = {Touzeau, Valentin and Maiza, Claire and Monniaux, David and Reineke, Jan},
month = {Jul},
year = {2017},
booktitle = {{Computer Aided Verification - 29th International Conference}},
address = {Heidelberg, France},
number = {2},
pages = {20 - 40},
publisher = {{Springer}},
series = {Lecture notes in computer science},
volume = {10427},
team = {PACSS, SYNC},
}