Using equivalence-checking to verify robustness to denial of service
| Autor: | Lafrance, Stéphane |
|---|---|
| Zdroj: | In Computer Networks 2006 50(9):1327-1348 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Lafrance, Stéphane |
|---|---|
| Zdroj: | In Computer Networks 2006 50(9):1327-1348 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect