PVS Embedding of cCSP Semantic Models and their Relationship


Ripon, Shamim and Butler, Michael (2008) PVS Embedding of cCSP Semantic Models and their Relationship. In, AVoCS 2008, Glasgow, 30 Sep - 01 Oct 2008.

WarningThere is a more recent version of this item available.

Download

[img] PDF
Download (217Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 30 September, 1 October
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 267135
Date Deposited: 22 Feb 2009 23:59
Last Modified: 27 Mar 2014 20:12
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267135

Available Versions of this Item

Actions (login required)

View Item View Item