Verification of infinite-state systems with applications to security

Uloženo v:
Podrobná bibliografie
Korporace: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Další autoři: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Médium: Elektronický zdroj Konferenční příspěvek E-kniha
Jazyk:angličtina
Vydáno: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Edice:NATO security through science series. Information and communication security ; v. 1.
Témata:
On-line přístup:An electronic book accessible through the World Wide Web; click to view
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!