Vol-547⫷ Vol-548 ⫸Vol-549
urn:nbn:de:0074-548-0


Vol-548/paper-1⫸Vol-548/paper-2

Analyzing Orchestration of BPEL Specified Services with Model Checking