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.