Verification of infinite-state systems with applications to security

Shranjeno v:
Bibliografske podrobnosti
Corporate Authors: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Drugi avtorji: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format: Elektronski Conference Proceeding eKnjiga
Jezik:angleščina
Izdano: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Serija:NATO security through science series. Information and communication security ; v. 1.
Teme:
Online dostop:An electronic book accessible through the World Wide Web; click to view
Oznake: Označite
Brez oznak, prvi označite!