Modellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels GROOVE

Neumann, Stefan

by Stefan Neumann

Reference:

Modellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels GROOVE (Stefan Neumann), Master's thesis, University of Paderborn, 2007.

Bibtex Entry:

@MastersThesis{neumann07,
AUTHOR = {Neumann, Stefan},
TITLE = {{Modellierung und Verifikation zeitbehafteter Graphtransformationssysteme mittels GROOVE}},
YEAR = {2007},
SCHOOL = {University of Paderborn},
PDF = {uploads/pdf/neumann07_DiplomArbeit_Main.pdf}
}