@phdthesis{basesearch-8198,
  title = {Effective Techniques for Stateless Model Checking},
  author = {Stavros Aronis},
  year = {2018},
  url = {https://www.base-search.net/Record/f18d981294b1a1e7b38d39d20ff90bd24e28874a93cd7c4eca644a5c827f8227},
  note = {base-search.net (ftuppsalauniv:oai:DiVA.org:uu-333541)},
  researchr = {https://researchr.org/publication/basesearch-8198},
  cites = {0},
  citedby = {0},
  school = {Uppsala University, Sweden},
}