Bryans, Jeremy W. and Fitzgerald, John S. and Alexander, Romanovsky and Andreas, Roth  (2008) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware.  Newcastle University, Newcastle University TR, accepted to appear in Proceedings of ICECCS 2009.    (In Press)  

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