Vol-240⫷ Vol-241 ⫸Vol-242
urn:nbn:de:0074-241-0


Vol-241/paper-11⫷Vol-241/paper-12

Modelling and Verifying of e-Commerce Systems