Formally veriable networking (2009)

by Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu
Venue:In HotNets