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 Bowen, J., Hinchey, M. and Till, D. (eds.) At Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212. , pp. 223-241.

Download

[img] Postscript dsse-tr-96-6-long.ps - Other
Download (141kB)
[img] Postscript dsse-tr-96-6.ps - Other
Download (190kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Address: Reading, UK
Venue - Dates: Proc. 10th Int. Conf. of Z Users: The Z Formal Specification Notation (ZUM), LNCS 1212, 1997-04-01
Organisations: Electronic & Software Systems
ePrint ID: 250548
Date :
Date Event
April 1997Published
Date Deposited: 14 Jun 1999
Last Modified: 18 Apr 2017 00:19
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250548

Actions (login required)

View Item View Item