@article{journals/entcs/BraghinP04,
	title = {Checking Integrity via CoPS and Banana: the E-Commerce Case Study .},
	author = {Chiara Braghin and Carla Piazza},
	journal = {Electr. Notes Theor. Comput. Sci.},
	pages = {295-317},
	url = {http://dblp.uni-trier.de/db/journals/entcs/entcs99.html#BraghinP04},
	volume = {99},
	year = {2004},
	biburl = {http://www.bibsonomy.org/bibtex/26ba5309e494b4c718ccd7af4938745af/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1016/j.entcs.2004.02.013}, date = {2004-09-22},
	keywords = {dblp }
}