2. WISES 2004: Graz, Austria

Session 1: Analysis, Monitoring and Synthesis

Session 2: Applications I

Session 3: Hardware

Session 4: Applications II

maintained by Schloss Dagstuhl LZI at University of Trier