Login
Document type:
Zeitschriftenartikel / Journal Article
Title:
Proactive Detection of Computer Worms Using Model Checking
Journal:
IEEE Transactions on Dependable and Secure Computing
Volume:
7
Issue:
4
Year:
2010
Pages from - to:
424-438
Language:
Englisch
ISSN:
1545-5971 ; 1941-0018 ; 2160-9209
DOI:
Open Access yes or no?:
Nein / No
BibTeX