Publication

Exploiting Generic Aspects of Security Models in Formal Developments

Heiko Mantel, Axel Schairer

In: Dieter Hutter , Werner Stephan (editor). Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer 2005.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz