Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 1.
Artikel
Kinder, J. ; Katzenbeisser, S. ; Schallhart, C. ; Veith, H. (2010)
Proactive Detection of Computer Worms Using Model Checking.
In: IEEE Transactions on Dependable and Secure Computing
Artikel, Bibliographie
Drucken
Impressum