Page 5 of 14.
Till Mossakowski; Serge Autexier; Dieter Hutter
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1--2, Pages 114-145, 2006.
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.
Dieter Hutter; Markus Ullmann (Eds.)
Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.
Dieter Hutter; Werner Stephan
Springer-Verlag, LNCS 2605, 2005.
Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland
Cambridge University Press, 2005.
Serge Autexier; Dieter Hutter
In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.
In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.
Dieter Hutter
In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent05). Automated Software Engineering …
Fernando Godínez; Dieter Hutter; Raul Monroy
In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security, Lecture Notes in Computer Science, …
In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and …