Publikation

Exploiting Generic Aspects of Security Models in Formal Developments

Heiko Mantel, Axel Schairer

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

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