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


Vol-487/paper-8⫷Vol-487/paper-9⫸Vol-487/paper-10

Modeling and Verification of Business Processes and Choreographies in ALP