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 at University of Trier