Veronika Thurner

• Formal fundierte Modellierung von Geschäftsprozessen