Scenarios and state machines: models, algorithms, and tools

SCESM 2006: Shanghai, China

maintained by Schloss Dagstuhl LZI at University of Trier