Login
Dokumenttyp:
Zeitschriftenartikel / Journal Article
Titel:
Proactive Detection of Computer Worms Using Model Checking
Zeitschrift:
IEEE Transactions on Dependable and Secure Computing
Jahrgang:
7
Heftnummer:
4
Jahr:
2010
Seiten von - bis:
424-438
Sprache:
Englisch
ISSN:
1545-5971 ; 1941-0018 ; 2160-9209
DOI:
URL zum Inhalt:
Open Access ja oder nein?:
Nein / No
BibTeX