• 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