bibtex

@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},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 1128141