In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …
In: Softwareagenten und Soft Computing im Geschäftsprozessmanagement; Tagungsband zum 9. Symposium Soft Computing. Symposium Soft Computing, November …
In: C. Hochberger; R. Liskowsky (Hrsg.). Informatik 2006: Informatik für Menschen, Beiträge der 36. Jahrestagung der Gesellschaft für Informatik (GI). …