Gerhard Weikum Dirk Wodtke Angelika Kotz Dittrich Peter Muth Jeanine Weißenfels Spezifikation, Verifikation und verteilte Ausführung von Workflows in MENTOR. 61-71 1997 12 Inform., Forsch. Entwickl. 2 db/journals/ife/ife12.html#WeikumWDMW97