title: Event-B model of the Buyer / Seller B2B Communication creator: Hoang, Thai Son subject: Business subject: Event-B Examples type: Rodin Archive type: NonPeerReviewed format: application/zip identifier: http://deploy-eprints.ecs.soton.ac.uk/128/1/B2B_mini_pilot_080806.zip identifier: Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive] relation: http://deploy-eprints.ecs.soton.ac.uk/128/