A Process Compensation Language

Butler, Michael and Ferreira, Carla, (2000) A Process Compensation Language Grieskamp, W., Santen, T. and Stoddart, B. (eds.) At Integrated Formal Methods IFM2000. , p. 61.


[img] Postscript IFM2000.ps - Other
Download (189kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Integrated Formal Methods IFM2000, 2000-11-01
Organisations: Electronic & Software Systems
ePrint ID: 253658
Date :
Date Event
November 2000Published
Date Deposited: 29 Apr 2004
Last Modified: 17 Apr 2017 23:22
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253658

Actions (login required)

View Item View Item