Automatische Verifikation von Bisimulationsäquivalenzen in ...
Reference
Dennis Nolte. Automatische Verifikation von Bisimulationsäquivalenzen in Graphtransformationssystemen. Master's thesis, Universität Duisburg-Essen, 2012.
Suggested BibTeX entry:
@mastersthesis{nolte,
author = {Dennis Nolte},
school = {Universit\"{a}t Duisburg-Essen},
title = {{A}utomatische {V}erifikation von {B}isimulations\"{a}quivalenzen in {G}raphtransformationssystemen},
year = {2012}
}