file.pdf (946.19 kB)
0/0

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

Download (946.19 kB)
journal contribution
posted on 01.01.2014 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

Exports

Exports