Routing Information Protocol in HOL/SPIN.

Karthikeyan Bhargavan Carl A. Gunter Davor Obradovic

Published in: TPHOLs (2000)

Keyphrases

information sources
information processing
prior knowledge
keywords
information extraction
user interaction
inference rules