creators_name: Fürst, Andreas
creators_id: afuerst@student.ethz.ch
type: rodin_archive
datestamp: 2009-06-29 16:38:40
lastmod: 2010-04-19 15:05:56
metadata_visibility: show
title: Event-B model of the Order/Supply Chain A2A Communication
subjects: deploy_industrial_bus
subjects: examples
full_text_status: public
citation:   Fürst, Andreas   Event-B model of the Order/Supply Chain A2A Communication.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/129/1/A2A_mini_pilot_081216.zip

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>