Formally Verifiable Networking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Anduo Wang' in GoogleThis author has not been identified. Look up 'Limin Jia' in GoogleThis author has not been identified. Look up 'Changbin Liu' in GoogleThis author has not been identified. Look up 'Boon Thau Loo' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in GoogleThis author has not been identified. Look up 'Prithwish Basu' in Google

runs on WebDSL