Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu. Formally Verifiable Networking. In Lakshminarayanan Subramanian, Will E. Leland, Ratul Mahajan, editors, Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), HOTNETS '09, New York City, NY, USA, October 22-23, 2009. ACM SIGCOMM, 2009. [doi]
@inproceedings{WangJLLSB09,
title = {Formally Verifiable Networking},
author = {Anduo Wang and Limin Jia and Changbin Liu and Boon Thau Loo and Oleg Sokolsky and Prithwish Basu},
year = {2009},
url = {http://conferences.sigcomm.org/hotnets/2009/papers/hotnets2009-final6.pdf},
researchr = {https://researchr.org/publication/WangJLLSB09},
cites = {0},
citedby = {0},
booktitle = {Eight ACM Workshop on Hot Topics in Networks (HotNets-VIII), HOTNETS '09, New York City, NY, USA, October 22-23, 2009},
editor = {Lakshminarayanan Subramanian and Will E. Leland and Ratul Mahajan},
publisher = {ACM SIGCOMM},
}