Jörg Desel. Tutorium: Validierung und Verifikation von Prozessmodellen. In Jörg Desel, Mathias Weske, editors, Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam. Volume 21 of LNI, pages 78-80, GI, 2002.
Abstract is missing.