PVS Embedding of cCSP Semantic Models and their Relationship


(2008) PVS Embedding of cCSP Semantic Models and their Relationship At AVoCS 2008

WarningThere is a more recent version of this item available.

Download

[img] PDF UNSPECIFIED
Download (222kB)
[img] Indexer Terms UNSPECIFIED
Download (7kB)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 30 September, 1 October
ePrint ID: 267135
Date Deposited: 22 Feb 2009 23:59
Last Modified: 31 Mar 2016 14:14
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