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

journal contribution

posted on 2014-01-01, 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

2014-01-01

Usage metrics

Categories

Other information and computing sciences not elsewhere classified

Keywords

Automatic programming (Computer science)Computer network protocols.Information and Computing Sciences not elsewhere classified

Licence

Exports