Lafrance, S. (2006). Using Equivalence-Checking to Verify Robustness to Denial of Service. Computer Networks, 50(9), 1327-1348. Lien externe