1. ZEUS 2009: Stuttgart, Germany

Refine list

showing all ?? records

Invited Talk

Modeling and Specification

Choreographies

Verification

Execution

a service of  Schloss Dagstuhl - Leibniz Center for Informatics