e Institut für Informatik: Abschlussarbeiten

Informatik an der TU Clausthal > Forschung > Abschlussarbeiten

Abschlussarbeiten

Autor:Huhn, Michaela
Betreuer:Götz, Norbert
Titel:Realisierung eines Beweissystems für Hennessy-Milner-Logik mit Rekursion
Jahr:1992
Hochschule:Institut für mathematische Maschinen und Datenverarbeitung, Universität Erlangen-Nürnberg
BibTeX-Code:
@mastersthesis{H92,
author={Huhn, Michaela},
supervisor={Götz, Norbert},
title={Realisierung eines Beweissystems für Hennessy-Milner-Logik mit Rekursion},
year={1992},
school={Institut für mathematische Maschinen und Datenverarbeitung, Universität Erlangen-Nürnberg},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2018