| [1] | Thomas Wahl. Exploiting Replication in Automated Program Verification. PhD thesis, University of Texas at Austin, 2007. [ bib | .pdf ] |
| [2] | Thomas Wahl. Distance functions for polygons and their application in robot localization (in German). Master's thesis, University of Würzburg, 1997. [ bib | .pdf ] |
This file was generated by bibtex2html 1.99.