In: Proccedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments. International Workshop on Privacy …
In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …