You seem to be attempting to access an item that has been removed from the repository.
There is an alternative version of the item you are trying to access:
Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh
(2014)
Evaluation of graphical control flow management approaches for Event-B modelling.
Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), Guildford, United Kingdom.
15 pp
.
(doi:10.14279/tuj.eceasst.66.891).
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.