From Christian.Maeder at dfki.de Fri Apr 11 13:15:14 2008 From: Christian.Maeder at dfki.de (Christian Maeder) Date: Fri, 11 Apr 2008 13:15:14 +0200 Subject: [Hets-users] hets-0.85 released Message-ID: <47FF4842.70604@dfki.de> Dear Hets friends, we proudly present our new release 0.85 of the Heterogeneous Tool Set (Hets) http://www.dfki.de/sks/hets The features can be looked up at: http://trac.informatik.uni-bremen.de:8080/hets/wiki/ReleaseNotes Installers, Binaries or Live-CD can be downloaded from: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/installation_e.htm Enjoy it, Christian -- _______________________________________________________________ Dr. Christian Maeder Hausadresse: DFKI-Labor Bremen Universit?t Bremen Sichere Kognitive Systeme Cartesium 02.053 Robert-Hooke-Str. 5 Enrique-Schmidt-Str. 5 28359 Bremen 28359 Bremen http://www.dfki.de/sks www.informatik.uni-bremen.de/~maeder Telefon: +49 (421) 218-64227 Telefax: +49 (421) 218-9864227 E-Mail: Christian.Maeder at dfki.de _______________________________________________________________ Deutsches Forschungszentrum f?r K?nstliche Intelligenz GmbH Firmensitz: Trippstadter Stra?e 122, D-67663 Kaiserslautern Gesch?ftsf?hrung: Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender) Dr. Walter Olthoff Vorsitzender des Aufsichtsrats: Prof. Dr. h.c. Hans A. Aukes Amtsgericht Kaiserslautern, HRB 2313