Aug 7, 2002
Henrik Bohnenkamp
University of Twente
Prof.dr. Ed Brinksma
(Responsible)
dr. Joost-Pieter Katoen
(Associate)
University of Nijmegen
Prof.dr. Frits W. Vaandrager
(Responsible)
Philips Research
Contact persons:
Dept. of Computer Science
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands
brinksma@cs.utwente.nl
Computing Science Department
University of Nijmegen
Toernooiveld 1
6525 ED Nijmegen
The Netherlands
fvaan@cs.kun.nl
Former members:
(now Universidad Nacional de Córdoba Ciudad, Argentina)