SCESM 2006: Shanghai, China

Survey

Description techniques, inference

Aspects, implied scenarios

Solutions and tools

maintained by Schloss Dagstuhl LZI at University of Trier