Vol-486⫷ Vol-487 ⫸Vol-488
urn:nbn:de:0074-487-0


Vol-487/paper-5⫷Vol-487/paper-6⫸Vol-487/paper-7

Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties