Vol-493⫷ Vol-494 ⫸Vol-495
urn:nbn:de:0074-494-0


Vol-494/paper-1⫷Vol-494/paper-2⫸Vol-494/paper-3
Marco MontaliPaolo TorroniFederico ChesaniPaola Mello

Verifying A-Priori the Composition of Declarative Specified Services