DFKI Publications by Hutter, Dieter



with Klaus Fischer
Proceedings of the
2nd International Workshop on
Security in Mobile Multiagent Systems


Using Rippling to Prove the Termination of Algorithms


with Serge Autexier
Parameterized Abstractions used for Proof-Planning

This document was last updated at 12:48 on Monday, January 26, 2004 by
DFKI-Bibliothek (bib@dfki.uni-kl.de)

Note: This page was written to look best with CSS stylesheet support Level 1 or higher. Since you can see this, your browser obviously doesn't support CSS, or you have turned it off. We highly recommend you use a browser that supports and uses CSS, and review this page once you do. However, don't fear, we've tried to write this page to still work and be readable without CSS.