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

maintained by Schloss Dagstuhl LZI, founded at University of Trier