creators_name: Damchoom, Kriangsak
creators_name: Butler, Michael
creators_name: Abrial, Jean-Raymond
type: conference_item
datestamp: 2008-04-21 14:57:03
lastmod: 2010-04-19 15:05:49
metadata_visibility: show
title: Modelling and proof of a Tree-structured File System
ispublished: inpress
subjects: examples
full_text_status: public
pres_type: paper
date: 2008-10
event_title: ICFEM 2008
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/16050/1/TreeFileSysICFEM2008.pdf
citation:   Damchoom, Kriangsak and Butler, Michael and Abrial, Jean-Raymond  (2008) Modelling and proof of a Tree-structured File System.  In: ICFEM 2008.    (In Press)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/22/1/TreeFileSys.zip

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