@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@Unpublished{lemos.unp,
author = {Marc\'ilio O. O. Lemos and Yuri Gil Dantas and Iguatemi E. Fonseca and Vivek Nigam},
title = {{On the Accuracy of Formal Verification of Selective Defenses for {TDoS} Attacks}},
year = "Draft",
bib2html_pubtype = {Submitted},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/jlamp.pdf",
wwwnote = "Accepted to JLAMP"
}