Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems (bibtex)

Reference:

Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems (), Master's thesis, Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam, 2016.

Bibtex Entry:

@MastersThesis{Nic16,
AUTHOR = {Nicolai, Christian},
TITLE = {{Using exchangeable constraint solvers for invariant checking on attributed graph transformation systems}},
YEAR = {2016},
SCHOOL = {Hasso-Plattner-Institut für Softwaresystemtechnik, Universität Potsdam}
}