Vol-1293⫷ Vol-1294 ⫸Vol-1295
urn:nbn:de:0074-1294-0


Vol-1294/paper8⫷Vol-1294/paper9⫸Vol-1294/paper10

Specification and Verification of Timed Semantic web Services