creators_name: Hoang, Thai Son creators_id: htson@inf.ethz.ch type: rodin_archive datestamp: 2009-06-29 16:31:12 lastmod: 2010-04-19 15:05:56 metadata_visibility: show title: Event-B model of the Buyer / Seller B2B Communication subjects: deploy_industrial_bus subjects: examples full_text_status: public citation: Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive] document_url: http://deploy-eprints.ecs.soton.ac.uk/128/1/B2B_mini_pilot_080806.zip