Graphsprachen für die Spezifikation von Invarianten bei ...
Reference
Christoph Blume. Graphsprachen für die Spezifikation von Invarianten bei verteilten und dynamischen Systemen. Master's thesis, Universität Duisburg-Essen, Nov. 2008.
Suggested BibTeX entry:
@mastersthesis{b08:graphsprachen-inv,
author = {Christoph Blume},
month = {Nov.},
school = {Universit{\"a}t Duisburg-Essen},
title = {Graphsprachen f{\"u}r die {S}pezifikation von {I}nvarianten bei verteilten und dynamischen {S}ystemen},
year = {2008}
}
