Bajczi, Levente. “Handling Axiomatic Memory Models in Abstraction-Based Model Checking of Concurrent and Distributed Systems.” Master’s thesis, Budapest University of Technology and Economics, 2022.

@mastersthesis{bajczi-levente-msc,
  author = {Bajczi, Levente},
  title = {Handling axiomatic memory models in abstraction-based model checking of concurrent and distributed systems},
  school = {Budapest University of Technology and Economics},
  year = {2022},
  type = {Master{\textquoteright}s thesis}
}