Hutter, Dieter.,Ullmann, Markus..Security in pervasive computing : Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005 : proceedings /.Springer,,c2005..
Siekmann, J?rg H.,Hutter, Dieter.,Stephan, Werner..Mechanizing mathematical reasoning : essays in honor of J?rg H. Siekmann on the occasion of his 60th birthday /.Springer,,2005..
