@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009780
|
|
|