, Saarland University Saarland Informatics Campus Saarbrücken, Germany

• Leibniz Transactions on Embedded Systems Vol. 5 No. 1 (2018)
  Regular Papers
  The Semantic Foundations and a Landscape of Cache-Persistence Analyses
  PDF