Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann. Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung. In Bernhard Rumpe, Wolfgang Hesse, editors, Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Volume 45 of LNI, pages 281-282, GI, 2004.
Abstract is missing.