Verification of infinite-state systems with applications to security

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awduron Corfforaethol: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Awduron Eraill: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Fformat: Electronig Trafodyn Cynhadledd eLyfr
Iaith:Saesneg
Cyhoeddwyd: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Cyfres:NATO security through science series. Information and communication security ; v. 1.
Pynciau:
Mynediad Ar-lein:An electronic book accessible through the World Wide Web; click to view
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!