Routing Information Protocol in HOL/SPIN
Karthikeyan Bhargavan, Carl A. Gunter and Davor Obradovic
Theorem Proving in Higher Order Logics (TPHOLs ’00), Lecture Notes in Computer Science, volume 1869, pages 53-72, Portland, OR, August 2000.
Last updated on Monday, June 9, 2014, 2:07 pm