@article{,
    author = {Kinder, Johannes; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut},
    title = {Proactive Detection of Computer Worms Using Model Checking},
    editor = {},
    booktitle = {},
    series = {},
    journal = {IEEE Transactions on Dependable and Secure Computing},
    address = {},
    publisher = {},
    edition = {},
    year = {2010},
    isbn = {},
    volume = {7},
    number =  {4},
    pages = {424-438},
    url = {https://doi.org/10.1109/TDSC.2008.74},
    doi = {10.1109/TDSC.2008.74},
    keywords = {},
    abstract = {},
    note = {},
    
    
    
}