file.pdf (946.19 kB)

PAS-II : an interactive task-free version of an automatic protocol analysis system

journal contribution

posted on 01.01.2014, 00:00 authored by D. A.(Donald Arthur) Waterman, Allen Newell

Computer Science Department

History

Publisher Statement

Copyright © 2014 by the Society for Industrial and Applied Mathematics.

Date

01/01/2014

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

Automatic programming (Computer science)Computer network protocols.

Licence

Exports