BibTeX record: phd/de/Schnelte2011

download as .bib file

@phdthesis{DBLP:phd/de/Schnelte2011,
  author    = {Matthias Schnelte},
  title     = {Automatische Testfallgenerierung aus kontrolliert nat\"{u}rlichsprachlichen
               Anforderungsspezifikationen f\"{u}r reaktive Echtzeitsysteme.},
  year      = {2011},
  school    = {University of Paderborn},
  url       = {http://ubdok.uni- paderborn.de/servlets/DerivateServlet/Derivate-12909/DissSchnelteFinal.pdf},
  timestamp = {Tue, 02 Sep 2014 19:59:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/phd/de/Schnelte2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}