other.bib

@phdthesis{W07b,
  author = {Thomas Wahl},
  title = {Exploiting Replication in Automated Program Verification},
  school = {University of Texas at Austin},
  year = {2007},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/dissertation.pdf},
  category = {other}
}

@mastersthesis{W97,
  author = {Thomas Wahl},
  title = {Distance Functions for Polygons and their Application in Robot Localization (in {G}erman)},
  school = {University of {W\"urzburg}},
  year = {1997},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/diplomarbeit.pdf},
  category = {other}
}

This file was generated by bibtex2html 1.99.