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]
Abstract is missing.