Verification of infinite-state systems with applications to security

Zapisane w:
Opis bibliograficzny
organizacja autorów: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania, ebrary, Inc
Kolejni autorzy: Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format: Elektroniczne Materiały konferencyjne E-book
Język:angielski
Wydane: Amsterdam ; Washington, D.C. : IOS Press, c2006.
Seria:NATO security through science series. Information and communication security ; v. 1.
Hasła przedmiotowe:
Dostęp online:An electronic book accessible through the World Wide Web; click to view
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
Opis
Deskrypcja:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Opis fizyczny:vii, 235 p. : ill.
Bibliografia:Includes bibliographical references and author index.