Hello, I would like to subcribe the list! Somehow I cannot access the web-pages for the list, so I hope it works this way, best regards, Ulla Goltz -- Prof. Dr. Ursula Goltz Technische Universität Braunschweig Institut für Programmierung und Reaktive Systeme Mühlenpfordtstr.23 * D-38106 Braunschweig Tel.: +49 531 391 3277 * Fax: +49 531 391 8111 E-mail: goltz@ips.cs.tu-bs.de http://www.ips.cs.tu-bs.de