Formal Verification of Arbitrary Network Topologies

Bibliografiske detaljer
Main Authors: Roscoe, A, Creese, S
Format: Conference item
Udgivet: CSREA Press 1999