In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …
In: Andreas Blumauer; Tassilo Pellegrini (Hrsg.). Semantic Web -- Auf dem Weg zur vernetzten Wissensgesellschaft. Pages 27-45, Springer Sachbuchreihe, …