Khouloud Boukadi Chirine Ghedira Zakaria Maamar Djamal Benslimane Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets. 107-112 2007 conf/iceis/2007-4 ICEIS (4) db/conf/iceis/iceis2007-4.html#BoukadiGMB07