Sonstiges: Verifizierte Implementierung von Patricia-Bäumen

[habermaas13studienarbeit]

Tim Habermaas, Verifizierte Implementierung von Patricia-Bäumen, January 2013.

Download

[PDF]

BibTeX

@misc{habermaas13studienarbeit,
  title = {Verifizierte Implementierung von Patricia-B{\"a}umen},
  year = {2013},
  month = jan,
  author = {Tim Habermaas},
  school = {Karlsruher Institut f{\"u}r Technologie (KIT)},
  institution = {IPD Snelting},
}

Institutsinterne Autoren

Ehemalige Studenten
Tim Habermaas

Bachelor- und Masterarbeiten

Verifizierte Implementierung von Patricia-Bäumen