A methodology for secure interactive systems
Gerd Beuster · 2008
This thesis is the result of my work at University of Koblenz Artificial Intelligence Research Group. I want to thank my doctoral advisor Prof. Dr. Bernhard Beckert for the deep discussions about the topic of the thesis and uncountable valuable comments on early drafts of this work. I also want to thank Prof. Dr. Ulrich Furbach, and all other friends and colleagues from the AI Research Group. It was a pleasure to work with you. I want to thank especially those with whom I worked closely in various projects over the years, namely Bernd Thomas, Christian Wolff,