• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw., 20(6):1814–1827, 2012.
(unavailable)
@article{wang12ton,
author = {Anduo Wang and
Limin Jia and
Wenchao Zhou and
Yiqing Ren and
Boon Thau Loo and
Jennifer Rexford and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott},
title = {FSR: formal analysis and implementation toolkit for safe
interdomain routing},
journal = {IEEE/ACM Trans. Netw.},
volume = {20},
number = {6},
year = {2012},
pages = {1814-1827},
ee = {http://dx.doi.org/10.1109/TNET.2012.2187924},
bib2html_pubtype = {Journal},
bib2html_rescat = {Formal Methods},
bib2html_dl_pdf = "/docs/fsr_jrnl.pdf"
}
Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57