11th SEKE 1999: Kaiserslautern, Germany

Chapter 1: Overview

Chapter 2: Methodology

Chapter 3: Applications

maintained by Schloss Dagstuhl LZI, founded at University of Trier