Formal Verification of Arbitrary Network TopologiesReport as inadecuate




Formal Verification of Arbitrary Network Topologies - Download this document for free, or read online. Document in PDF available to download.

Reference: A.W. Roscoe and S.J. Creese, (1999). Formal Verification of Arbitrary Network Topologies.Citable link to this page:

 

Formal Verification of Arbitrary Network Topologies

Bibliographic Details

Publisher: CSREA Press

Host: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)see more from them

Issue Date: 1999-06-01Identifiers

Urn: uuid:fc7840e3-a6b5-4a25-a859-7160b3d78628 Item Description

Type: Conference paper; Tiny URL: cs:5588

Relationships





Author: A.W. Roscoe - - - S.J. Creese - - - - Bibliographic Details Publisher: CSREA Press - - Host: Proceedings of the International Con

Source: https://ora.ox.ac.uk/objects/uuid:fc7840e3-a6b5-4a25-a859-7160b3d78628



DOWNLOAD PDF




Related documents