@mastersthesis{tarr_10:master,
title = {Automatically Verifying 'M' Modelling Language Constraints},
author = {Thorsten Tarrach},
year = {2010},
date = {2010-01-01},
school = {Saarland University},
keywords = {}
}