Security in Pervasive Computing (vol. # 3450) [E-Book] / Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings  

Hutter, Dieter.
2005

Security in Pervasive Computing [E-Book] : First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers /  

Hutter, Dieter.
2004

Applied Formal Methods - FM-Trends 98 [E-Book] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /  

Hutter, Dieter.
1999