Verification of infinite-state systems with applications to security

Sparad:
Bibliografiska uppgifter
Institutionella upphov: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Övriga upphov: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Materialtyp: Elektronisk Konferenspublikation E-bok
Språk:engelska
Utgiven: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Serie:NATO security through science series. Information and communication security ; v. 1.
Ämnen:
Länkar:An electronic book accessible through the World Wide Web; click to view
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!