@inproceedings{ICEIS-SAIC-2007-BoukadiGMB,
	author        = "Khouloud Boukadi and Chirine Ghedira and Zakaria Maamar and Djamal Benslimane",
	booktitle     = "{Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume 4: SAIC}",
	isbn          = "978-972-8865-91-7",
	pages         = "107--112",
	title         = "{Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets}",
	year          = 2007,
}