Modeling a Warehouse system using refinements and decomposition: A contribution to the MULTI Warehouse challenge.

Georg Hinkel

Browse the full MODELS paper archive.