SCESM 2006: Shanghai, China

Survey

Description techniques, inference

Aspects, implied scenarios

Solutions and tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics