The NRL Protocol Analyzer: An Overview☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This paper is an expanded version of the paper The NRL Protocol Analyzer: An Overview, published in The Proceedings of the Second International Conference on the Practical Applications of Prolog, April 1994.
Copyright © 1996 Published by Elsevier Inc.