The NRL protocol analyzer: An overview (1996)

by C A Meadows
Venue:Journal of Logic Programming