@phdthesis{ethos-11623,
  title = {Algorithmic verification problems in automata-theoretic settings},
  author = {Daniel Bundala},
  year = {2014},
  url = {https://ora.ox.ac.uk/objects/uuid:60b2d507-153f-4119-a888-56ccd47c3752},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-11623},
  cites = {0},
  citedby = {0},
  school = {University of Oxford, UK},
}