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

by Karthikeyan Bhargavan , Davor Obradovic , Carl A. Gunter
Citations:65 - 3 self