Research Group Formal Methods and Deduction
kronburg@informatik.uni-kl.de
Research Group Computer Networks
peper@informatik.uni-kl.de
University of Kaiserslautern