Formal Verification of Standards for Distance Vector Routing Protocols (2000)

by Karthikeyan Bhargavan , Davor Obradovic , Carl A. Gunter
Citations:86 - 5 self