On Model checking data−independent systems with arrays with whole−array operationsReportar como inadecuado




On Model checking data−independent systems with arrays with whole−array operations - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





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

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



DESCARGAR PDF




Documentos relacionados