Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday Hutter Dieter Heftet / 2005 / Engelsk
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings Hutter Dieter Heftet / 2005 / Engelsk
Applied Formal Methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings Hutter Dieter Heftet / 1999 / Engelsk
Security in Pervasive Computing First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers Hutter Dieter Heftet / 2004 / Engelsk
