|||Roope Kaivola and Thomas Wahl, editors. Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA, September 27-30, 2015. IEEE, 2015. [ bib | .pdf ]|
|||Ajitha Rajan and Thomas Wahl (Eds.). CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems. Springer Verlag, 2013. [ bib | http ]|
|||Thomas Wahl. The Sviss Symbolic Verifier. Swiss Federal Institute of Technology, Zurich, 2008. [ bib | http ]|
|||Thomas Wahl. Exploiting Replication in Automated Program Verification. PhD thesis, University of Texas at Austin, 2007. [ bib | .pdf ]|
|||Oliver Karch, Hartmut Noltemeier, and Thomas Wahl. Location and robotics. In Zvi Drezner and Horst Hamacher, editors, Facility Location - Applications and Theory. Springer-Verlag, 2001. [ bib | http ]|
|||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.97.