Blättern nach Person
 | Ebene hoch |
Springe zu: Englisch
Anzahl der Einträge: 1.
Englisch
Lemos, Marcilio O. O. ; Dantas, Yuri Gil ; Fonseca, Iguatemi E. ; Nigam, Vivek (2018)
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
In: Journal of Logical and Algebraic Methods in Programming, 94
Artikel, Bibliographie
Drucken
Impressum