An Approach to the Design of Distributed Systems with B AMN


Butler, M. J. (1997) An Approach to the Design of Distributed Systems with B AMN. In, Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212 Springer-Verlag, Berlin, 223-241.

Download

[img] Postscript
Download (137Kb)
[img] Postscript
Download (185Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Reading, UK
ISBNs: 3540627170
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250548
Date Deposited: 14 Jun 1999
Last Modified: 27 Mar 2014 19:51
Publisher: Springer-Verlag, Berlin
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250548

Actions (login required)

View Item View Item