The NRL Protocol Analyzer: An Overview (1996)

by C Meadows
Venue:Journal of Logic Programming