"The NRL Protocol Analyzer: An Overview."

Catherine A. Meadows (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics