@phdthesis{sprokholt:2025,
  author      = {Dennis Sprokholt},
  title       = {Correct Translation between Weak Memory Model Architectures},
  institution = {Delft University of Technology},
  year        = {2025},
  type        = {{PhD} thesis},
  doi         = {10.4233/uuid:8dc4a658-85bf-4243-993c-2bb511abe5f1},
}