On Model checking data−independent systems with arrays with whole−array operationsReport as inadecuate




On Model checking data−independent systems with arrays with whole−array operations - Download this document for free, or read online. Document in PDF available to download.

Reference: A.W. Roscoe, R.S. Lazic and Tom Newcomb, (2005). On Model checking data−independent systems with arrays with whole−array operations.Citable link to this page:

 

On Model checking data−independent systems with arrays with whole−array operations

Bibliographic Details

Publisher: Springer LNCS

Host: Communicating Sequential Processessee more from them

Issue Date: 2005Identifiers

Urn: uuid:bc1a9a6d-ab57-444e-a926-4d9de37a54ef Item Description

Type: Conference paper; Tiny URL: cs:919

Relationships





Author: A.W. Roscoe - - - R.S. Lazic - - - Tom Newcomb - - - - Bibliographic Details Publisher: Springer LNCS - - Host: Communicating Seq

Source: https://ora.ox.ac.uk/objects/uuid:bc1a9a6d-ab57-444e-a926-4d9de37a54ef



DOWNLOAD PDF




Related documents