@mastersthesis{instance415, title = {{Verwendung und Pr{\"u}fung von Integrit{\"a}tsbedingungen in der Modellierungssprache ADORA}}, author = {Christina Cramer}, year = {2007}, address = {Zurich, Switzerland}, month = {May}, school = {University of Zurich}, group = {rerg}, Date-Added = {2026-08-02 18:39:37}, Date-Modified = {2026-08-03 06:52:27} }