Routing Information Protocol in HOL/SPIN

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/3-540-44659-1_4 ◽

2000 ◽

pp. 53-72 ◽

Cited By ~ 3

Author(s):

Karthikeyan Bhargavan ◽

Carl A. Gunter ◽

Davor Obradovic

Download Full-text