WS-FM 2012: Tallinn, Estonia

Invited Papers

Web Service Modeling and Analysis with Petri Nets and CSP

Formal Methods Applied to Service Discovery and Coordination

a service of Schloss Dagstuhl - Leibniz Center for Informatics