PVS Embedding of cCSP Semantic Models and their Relationship


Ripon, Shamim and Butler, Michael (2009) PVS Embedding of cCSP Semantic Models and their Relationship Electr. Notes Theor. Comput. Sci., 250, (2), pp. 103-118. (doi:10.1016/j.entcs.2009.08.020).

This is the latest version of this item.

Download

Full text not available from this repository.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1016/j.entcs.2009.08.020
Additional Information: Event Dates: 30 September, 1 October
Venue - Dates: AVoCS 2008, 2009-09-30 - 2009-10-01
Organisations: Electronic & Software Systems
ePrint ID: 268421
Date :
Date Event
September 2009Published
Date Deposited: 27 Jan 2010 16:48
Last Modified: 17 Apr 2017 18:35
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/268421

Available Versions of this Item

Actions (login required)

View Item View Item