@inproceedings{mci/Desel2002,
author = {Desel, Jörg},
title = {Validierung und Verifikation von Prozessmodellen},
booktitle = {Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen},
year = {2002},
editor = {Desel, Jörg AND Weske, Mathias} ,
pages = { 78-80 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}