@phdthesis{dnb-25974,
  title = {Caching, crashing & concurrency - verification under adverse conditions},
  author = {Stefan Bodenmüller},
  year = {2023},
  url = {https://d-nb.info/1299731465},
  researchr = {https://researchr.org/publication/dnb-25974},
  cites = {0},
  citedby = {0},
  school = {University of Augsburg, Germany},
}