@phdthesis{Doko2021,
  author      = {Marko Doko},
  title       = {Program Logic for Weak Memory Concurrency},
  type        = {doctoralthesis},
  pages       = {VII, 141},
  school      = {Technische Universit{\"a}t Kaiserslautern},
  doi       = {10.26204/KLUEDO/6679},
  year        = {2021},
  url  = {http://nbn-resolving.de/urn:nbn:de:hbz:386-kluedo-66792},
}