@misc{indiciae95c86749c1f8,
  title = {Ascertaining Uncertainty for Efficient Exact Cache Analysis},
  author = {Valentin Touzeau and Claire Maïza and David Monniaux and Jan Reineke},
  year = {2018},
  doi = {10.1007/978-3-319-63390-9\_2},
  url = {https://arxiv.org/abs/1709.10008},
  note = {Source identifier: 1709.10008}
}