%0 Thesis %1 phd/de/Sand2006 %A Sand, Matthias %D 2006 %K dblp %T Patternbasierte Verifikation objektorientierter Modelle: Methodik, Semantik und Verfahren.

@phdthesis{phd/de/Sand2006, added-at = {2016-05-04T00:00:00.000+0200}, author = {Sand, Matthias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/252e2064aab978acc462c6361b0f231a4/dblp}, ee = {http://d-nb.info/982361262}, interhash = {6a8afdcedcc290a6b79195871201d8c1}, intrahash = {52e2064aab978acc462c6361b0f231a4}, keywords = {dblp}, school = {University of Erlangen-Nuremberg}, timestamp = {2016-05-05T09:32:39.000+0200}, title = {Patternbasierte Verifikation objektorientierter Modelle: Methodik, Semantik und Verfahren.}, year = 2006 }